Commit 4d4922b7de92ff88895e82b91261c8e2b25b09fa

Thomas de Grivel 2025-10-31T12:05:22

config.subr: more silent output