proposer: apply ticket #237 #244

Closed
Archicratia wants to merge 1 commits from bot/proposer-237-20260315-113026 into main

1 Commits

Author SHA1 Message Date
archicratie-bot
f73c4425ba edit: apply ticket #237 (/archicrat-ia/chapitre-1/#p-92-5f163e7e)
All checks were successful
CI / build-and-anchors (pull_request) Successful in 46s
CI / build-and-anchors (push) Successful in 44s
SMOKE / smoke (push) Successful in 4s
2026-03-15 11:30:51 +00:00