2 Commits
Author SHA1 Message Date
Martin Robertz 9775e82de0 Revert "try to fix jenkins build. Re-add this"
This reverts commit 862725a9cc.
2023-07-15 09:18:34 +02:00
Martin Robertz 862725a9cc try to fix jenkins build. Re-add this 2023-07-15 09:00:53 +02:00