Fixing omissions - #308

Open

dietmarkuehl wants to merge 4 commits into

mainfrom

fixing-omissions

Commits on Aug 11, 2026

reviewed MANDATE-NOTHROW and AS-CONST use
dietmarkuehl
committed
22884dc

Commits on Aug 14, 2026

fix get_domain and stop_when
dietmarkuehl
committed
8660d7c
fixed initializer list in stop_when (and formatting)
dietmarkuehl
committed
2042466
mark unused object in a test as such
dietmarkuehl
committed
c3ec6e7