debian/1.25.2-1

Joao Eriberto Mota Filho

@eriberto

421d9095 · Removed a no longer needed target · Jun 24, 2023

jdupes Debian release 1.25.2-1