diff build-aux/mk-opts.pl @ 31194:e859837e620d

maint: Merge stable to default.
author Markus Mützel <markus.muetzel@gmx.de>
date Thu, 18 Aug 2022 08:41:39 +0200
parents 796f54d4ddbf
children de6fc38c78c6
line wrap: on
line diff