fix for issue #33: reset should also release any locks#37

Merged

blagerweij merged 1 commit intomasterfrom bugfix/fix-for-reset

Sep 5, 2023

+7-1

Commits on Sep 5, 2023

fix for issue #33 : reset should also release any locks
blagerweij
committed