0.12.6 protected

Gerhard Bräunlich

@g-braeunlich

491dbc49 · Merge branch 'move-to-org' into 'main' · Jan 17, 2023

Release: 0.12.6

Minor improvements to docs