fabian pushed to debian at fabian/sync

fabian
2025-11-20T21:29:48+01:00

77cbe839966f0c2e3c39b02c3bf40240d139defc Merge branch 'master' into debian 73f5fe2e45c4104b4b8180764f4d4d82ee8ee8c4 fixed commandExists