Commit bf4b11cfa42f4f5906df412ed1ce0a93bc6b3ee9

Behdad Esfahbod 2022-05-27T17:20:36

[configure] Another try at fixing distcheck