Daan Hoogland 78e07cff62 Merge release branch 4.18 to 4.19 ...

* 4.18:
  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:43:34 +02:00

..

src

Merge release branch 4.18 to 4.19

2024-04-19 12:43:34 +02:00

pom.xml

Updating pom.xml version numbers for release 4.18.3.0-SNAPSHOT

2024-04-17 11:11:57 -03:00