Release v1.12.4-1
Merge branch 'debian' into release/main