Daniel Echeverry <epsilon77@gmail.com> writes: > OK, remove the 9menu.docs. Please check out again: > http://mentors.debian.net/debian/pool/main/9/9menu/9menu_1.8-4.dsc Uploaded with one minor change (chmod -x debian/{patches,format}/*; somehow this sneaked in with the last upload). Thanks for your work :-) Regards, Ansgar