On 12/31/2015 05:00 PM, Mats Peterson wrote: > I would gladly get rid of this one-liner in the meantime. It's "my" file > at that. > > Mats > Alright, Michael, do whatever you want, but it's awkward to have this patch lying around for no reason, when it's such a small change. Mats