On 2015-10-20 14:15, John Regehr wrote:
I want to think about that one more. I'll take care of integrating it if that's the right thing to do.
Yes, got it. - Yang