upstream_debian12-fix-short-id-with-version.patch
