Daan Hoogland 3cabe69cd5 Merge release branch 4.19 to main ... * 4.19: protect against null-path (#8915) UI: Fix missing locale strings for Status widget (#8792) Add a shutdownhook to remove jobs owned by the process (#8896)		2024-04-19 12:45:30 +02:00
..
src	Merge release branch 4.19 to main	2024-04-19 12:45:30 +02:00
pom.xml	Updating pom.xml version numbers for release 4.18.3.0-SNAPSHOT	2024-04-17 11:11:57 -03:00