Planned maintenance on Wednesday, 2021-01-20, 17:00-18:00. Expect some interruptions during that time

Commit f5d886da authored by Andreas Marek's avatar Andreas Marek

Error in configure.ac macros

parent 6d35171a