follow master here too
Release v0.1.2-6
Merge branch 'debian' into release/main