On Fri, Jul 29, 2016 at 01:07:56PM +0200, Lukas Slebodnik wrote:
>Others who? :-)
non developers (The person who requested this change; I assume this
change was not requested by developers)
It was (and btw I agree with the change, consistent naming is important
as I wish I raised this concern when I reviewed the patches in the first
place..)