On Thu, Jun 18, 2015 at 01:22:31PM -0400, Daniel Dickman wrote: > > I think Theo's proposed change is correct. > > ok daniel@ >
just to be clear, i'm not looking for oks for theo's patch. i am waiting to see what happens, and then i'll decide if we need to do anything to the docs. as i said, i'm not the guy to decide whether we change this behaviour. jmc