On Thursday, 7th July from 1 to 3 pm there will be a maintenance with a short downtime of GitLab.
Now this is done consistently both in autoconf and automake. One can now
safely call make clean and the header files are re-generated
Attach a file by drag & drop or click to upload