Lanzatool: small fixes #42

Merged
nikstur merged 5 commits from lanzatool-small-fixes into master 2022-12-30 23:00:36 +00:00
nikstur commented 2022-12-30 20:17:12 +00:00 (Migrated from github.com)

This PR contains various little fixes for lanzatool that surfaced during work on #34.

This PR contains various little fixes for lanzatool that surfaced during work on #34.
blitz (Migrated from github.com) reviewed 2022-12-30 20:17:12 +00:00
RaitoBezarius (Migrated from github.com) approved these changes 2022-12-30 22:54:17 +00:00
RaitoBezarius (Migrated from github.com) left a comment

Great!

Great!
Sign in to join this conversation.
No description provided.