On 6/03/2014 7:40 am, Gedare Bloom wrote: > This gets a "don't care" from me, but it seems unnecessary. We don't > have any style rule relating to this change. I agree. I see no issue so it can be committed. Chris