Armin Schrenk 108df3ddbc Merge branch 'main' into develop ...

# Conflicts:
#	pom.xml
#	suppression.xml

2023-07-24 16:38:18 +02:00

..

appimage

Closes #2989

2023-07-13 12:22:46 +02:00

common

finalize 1.9.2

2023-07-24 16:34:49 +02:00

debian

Closes #2989

2023-07-13 12:22:46 +02:00

resources

Release to PPA (#1791)

2021-09-16 13:01:34 +02:00

launcher-gtk2.properties

fixed java options required for panama

2022-11-25 14:42:18 +01:00