12.3.1-1 protected

Mathieu

@mraber

6306edb0 · Merge branch '81-update-to-12-3-1' into 'main' · Nov 19, 2025

Release: 12.3.1-1

Release v12.3.1-1

- Update to Projeqtor 12.3.1 (2025-10-03)

See: https://www.projeqtor.org/fr/product-fr/downloads-fr/historique-des-mises-a-jour-xxx