Johan Forsberg pushed to project branch main at Johan Forsberg / Boogie

Johan Forsberg
2026-03-12T20:12:58Z

Johan Forsberg (f9758abc) at 12 Mar 20:12

Some monitor related fixes

... and 3 more commits