Processed: libedit: manpage rename no longer necessary

[Debian Bug Tracking System]

Processing control commands:

> block -1 by 995731
Bug #995733 [src:libedit] libedit: manpage rename no longer necessary
995733 was not blocked by any bugs.
995733 was not blocking any bugs.
Added blocking bug(s) of 995733: 995731

-- 
995733: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=995733
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems