Author	SHA1	Message	Date
red binder	b2693d0eea	Better CI	2026-04-28 10:12:14 +02:00
Maple	31d495c932	add editions	2025-11-13 14:06:08 +01:00
andrea	2450341b5d	Merge main into gatherings	2025-03-25 07:30:10 +00:00