It is a choice of Debian mainteiner. In my opinion it doesn't cause any problem, so a patch seems not useful. Feel free to report any other problem. Thanks
It is a choice of Debian mainteiner. In my opinion it doesn't cause any problem, so a patch seems not useful. Feel free to report any other problem. Thanks