I did this change in Debian in 2.20.7-2 which was uploaded to unstable in August; too bad we had no merge of it. :-/
I did this change in Debian in 2.20.7-2 which was uploaded to unstable in August; too bad we had no merge of it. :-/