Package: micro-proxy Version: 20021030+debian-5 Severity: wishlist Do consider changing the name of the only executable produced by this package, this would be in analogy with the corresponding change that already was implemented for the packages "micro-inetd" and "micro-httpd". The reasoning in #540581 in favour of "micro-inetd" instead of "micro_inetd" is valid also in this case.
If you decide to go along, do not forget to update the manual page for the correct name on the executable. Best regards, Mats Erik Andersson, DM -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
