diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2023-07-20 00:29:40 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2023-07-20 00:29:40 +0100 |
commit | 9fa8a4948dad4682db77f14f53b048d1a391242d (patch) | |
tree | e517b49ae4289b7c944513ad9b2d95d842efba37 /debian/changelog | |
parent | d7bc70845a43baa3dca2102ed2761eb7d98d8025 (diff) |
tests: manpages-format: Remove now-unneeded suppression
Now there are no suppressions. But keep the machinery in case we need
it later. See also
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1041317#22
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'debian/changelog')
0 files changed, 0 insertions, 0 deletions