Merge branch 'f-debian-12' into 'dev'
Debian 12: Workaround in `make jar` for Debian bug in Maven. See merge request !118
No related branches found
No related tags found
Debian 12: Workaround in `make jar` for Debian bug in Maven. See merge request !118