Comment 2 for bug 1701065

Axel, thank you for your comment.

The bug is indeed in Ubuntu. I added a reference to the Debian bug that may end up being part of the solution for this Ubuntu bug. If debian-goodies' version of dman is an adequate replacement for bikeshed's dman, than bikeshed's version should be dropped.

Also, even though it is Ubuntu's bug, it is possible for it to be fixed in Debian. For instance, debian-goodies could be changed to not install dman when debian-goodies is built on an Ubuntu system.