From: François Fleuret <francois@fleuret.org>
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=HEAD;p=culture.git

Merge branch 'dev'
---

5f5c6c079c2751a76887444c211c5c464e875ed0