Subject: bug#30785: Man pages truncated, repeated

From: Pierre Neidhardt <[email-masked]>
Date: Sun, 13 Jan 2019 17:15:21 +0100

And... from the log I just noticed that Marius had arrived to the same
conclusion 8 months ago :(

That'll teach me to look at logs before getting started...

-- 
Pierre Neidhardt
https://ambrevar.xyz/