gui, man, authors: Update docs, translations, and contributors

2023-07-03 03:45:49 +00:00
parent 465823237f
commit a7d7325e9b
3 changed files with 17 additions and 1 deletions
@@ -220,6 +220,7 @@ Michael Ploujnikov (plouj) <ploujj@gmail.com>
 Michael Rienstra <mrienstra@gmail.com>
 Michael Tilli (pyfisch) <pyfisch@gmail.com>
 MichaIng <micha@dietpi.com>
+Migelo <miha@filetki.si>
 Mike Boone <mike@boonedocks.net>
 MikeLund <MikeLund@users.noreply.github.com>
 MikolajTwarog <43782609+MikolajTwarog@users.noreply.github.com>