Skip to content

debian12: fix <short-id> with version

Pino Toscano requested to merge pinotree/osinfo-db:debian12-fix-shortid into main

It should be "12", not "11".

Fixes commit dcfcdc36.

Signed-off-by: Pino Toscano ptoscano@redhat.com

Merge request reports