small fixes for main release

This commit is contained in:
Nuno Coração
2022-12-21 23:46:19 +00:00
parent 23474cbdb9
commit 7302083428
10 changed files with 26 additions and 8 deletions