Luigi Toscano 7a25b151d4 Revert "GIT_SILENT made messages (after extraction)" ...

Restore a file which was removed by mistake.
Maybe we need to check the new ITS file.
This reverts commit fe3933c96a.

2023-09-08 11:24:29 +02:00

53 KiB

Raw Blame History

View Raw