On Mon, Oct 28, 2013 at 8:35 AM, Tom Kent <lists@teeks99.com> wrote:

...

That worked great for trunk, but now the problem appears to have spread to release...could we get the fix applied there as well?

 Argh! I merged 86392 and 86398 yesterday but forgot to check if Steven's 86426 had been merged.

I'll apply for permission to merge right away.