From: François Fleuret Date: Wed, 17 Jul 2024 12:58:29 +0000 (+0200) Subject: Merge branch 'dev' X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=commitdiff_plain;h=925318828d07cd4c0006b1b7c0c18d67a3bc6696;p=culture.git Merge branch 'dev' --- 925318828d07cd4c0006b1b7c0c18d67a3bc6696