On 07/20/2013 08:35 AM, David Bremner wrote:
>> Somehow a gremlin snuck in between your careful testing and sending the
>> patch ;).
> 
> Oh, hoisted on my own petard. I meant to attach a corrected
> patch. Anyway I have pushed a corrected version upstream.

sigh.  the version i tested did indeed have the correct flag, but it
looks like i^Wthe gremlins botched the git commit.

i'll have to speak to their supervisor.

Thanks for the fix,

	--dkg