Skip to content

2.4.0

Björn Lötters requested to merge dev into main

Fix a bug where the strategy in the debugger was not correctly printed. Introduce contexts with auto-loading and -saving. Downgrade to java 17

Merge request reports