Jos de Jong 8e76654c7f Merge branch 'develop' into v15
# Conflicts:
#	AUTHORS
#	HISTORY.md
2025-06-04 10:45:11 +02:00
..
2025-06-04 10:45:11 +02:00
2022-07-19 12:04:35 +02:00