Sat, 13 Aug 2022 16:30:38 +0200 Edouard Tisserant Fix generation of revisions.txt in makefile