Support of Fedora 40
The support of Fedora 40 should be added to tools/build_helper.
Maintenance operation of our GitLab server is scheduled for Thursday, October 3rd at 2PM. The server will be unavailable for about 2 hours.
The support of Fedora 40 should be added to tools/build_helper.