realign with upstream

This commit is contained in:
Jürg Schulthess 2024-04-29 08:07:22 +02:00
parent f804ba0263
commit b5556f664b
2 changed files with 4 additions and 0 deletions

View file

@ -300,3 +300,5 @@ if __name__ == "__main__":
except KeyboardInterrupt:
print("")
exit()