Fixed in commit ceeec5623dbf19d8c96cd1187c5f17ed362cb5fe [1] Regards, Sergey
[1] http://git.gnu.org.ua/cgit/dico.git/patch/?id=ceeec5623dbf19d8c96cd1187c5f17ed362cb5fe -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
