Commit 54629e0f758baaa0e0a66a204b521f362414311d

Nick Wellnhofer 2024-05-21T20:25:23

autotools: Remove --with-coverage configuration option