Hello, this bug #131127 is in a quite confusing state... I don't know from looking at it who is working on packaging devhelp if anyone is working at all, maybe one of you have the answer? thanks []s! -- kov@debian.org: Gustavo Noronha <http://www.metainfo.org/kov> Debian: <http://www.debian.org> * <http://debian-br.cipsga.org.br>