changelog
merge
- Sun, 16 Apr 2023 14:17:08 +0200
- by Olaf Wintermann <olaf.wintermann@gmail.com> [Sun, 16 Apr 2023 14:17:08 +0200] rev 20
- merge
fix configure should always delete the tmp dir
- Sun, 16 Apr 2023 14:16:31 +0200
- by Olaf Wintermann <olaf.wintermann@gmail.com> [Sun, 16 Apr 2023 14:16:31 +0200] rev 19
- fix configure should always delete the tmp dir
