Restored path names that were changed by a previous "Configure" run.
(Rather than changing the files in places, we really should use .in files.) Submitted by: Reviewed by: PR:
Loading
Please register or sign in to comment
WARNING! Gitlab maintenance operation scheduled for Saturday, 27 September 2025, from 07:00 AM to 4:00 PM GMT (09:00 AM to 6:00 PM CEST)
(Rather than changing the files in places, we really should use .in files.) Submitted by: Reviewed by: PR: