0.1.2 protected

Daniel Schier

@dschier

8a98c31d · fix: more issues with the release, as expected · Dec 16, 2023

Minor fixes and another try to fix the release