Sat, 13 Aug 2022 16:30:38 +0200Fix generation of revisions.txt in makefile
Edouard Tisserant <edouard.tisserant@gmail.com> [Sat, 13 Aug 2022 16:30:38 +0200] rev 87
Fix generation of revisions.txt in makefile