On Tue, 08 Jul 2014, Eric Cooper wrote: > What about making it into a user's install-time decision, rather than > a developer's packaging-time decision?
Any user who wants to can override the rename by using dpkg-divert. -- Don Armstrong http://www.donarmstrong.com We were at a chinese restaurant. He was yelling at the waitress because there was a typo in his fortune cookie. -- hugh http://www.gapingvoid.com/Moveable_Type/archives/000321.html -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/20140708160457.gr9...@teltox.donarmstrong.com
