On 12/07/2015 10:08 AM, Paul A. Rubin wrote: > Thanks. I've been getting ticket updates from the issue tracker. Not > sure what your "little problem" was, but ignorance is usually bliss. :-)
All user names got deleted a few months ago. As in: ALL. Does the solution I committed look right to you? Richard
