release 1.3.3: fix GIT notes vs GUI notes; docs cleanup

This commit is contained in:
Hernâni Marques 2026-07-18 19:43:49 +02:00
parent 6dd7980438
commit 8840341079
No known key found for this signature in database
GPG key ID: CB5738652768F7E9
8 changed files with 20 additions and 11 deletions

View file

@ -1 +1 @@
1.3.2
1.3.3