On Mon, Oct 28, 2013 at 9:34 AM, Beman Dawes <bdawes@acm.org> wrote:

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.

OK, 86503 merged 86426 from trunk to release. Should be OK now,

Thanks,

--Beman