UI improvements and bug fixes #8

Merged
hughrun merged 1 commit from publishing-fixes into main 2023-03-12 15:05:13 +11:00
hughrun commented 2023-03-12 15:04:00 +11:00 (Migrated from github.com)

fixes #5
fixes #6
fixes #7

fixes #5 fixes #6 fixes #7
Sign in to join this conversation.
No description provided.