Lars Hecking <lhecking@xxxxxxxxxxxxxxxxxxxxx> writes: > These changes were long overdue, and I can find no problems (apart from > failing "distcheck" as unprivileged user). Thanks for your test/review. What was the error log with distcheck? -- Matthias Andree