debian/4.19.0-7

Helge Kreutzmann

@kreutzm-guest

a5fc73ac · Missed another file remove due to a typo. Closes: #1042537 · Jul 30, 2023

manpages-l10n Debian release 4.19.0-7