From: François Fleuret Date: Sun, 14 Jul 2024 22:20:00 +0000 (+0200) Subject: Merge branch 'dev' X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=commitdiff_plain;h=5f5c6c079c2751a76887444c211c5c464e875ed0;p=culture.git Merge branch 'dev' --- 5f5c6c079c2751a76887444c211c5c464e875ed0