Mercurial > hg > dav / changelog

fix configure script again, this time correctly

• Mon, 12 Jun 2023 20:09:30 +0200
• by Olaf Wintermann <olaf.wintermann@gmail.com> [Mon, 12 Jun 2023 20:09:30 +0200] rev 758
• fix configure script again, this time correctly