From: François Fleuret <francois@fleuret.org>
Date: Tue, 2 Jul 2024 06:56:28 +0000 (+0300)
Subject: Merge branch 'dev'
X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=commitdiff_plain;h=d6cfa31669aa5dc9b084cdc8a8c5956ce4780ba3;p=culture.git

Merge branch 'dev'
Mostly the reverse clean-up trick.
---

d6cfa31669aa5dc9b084cdc8a8c5956ce4780ba3