Re: Request for editor scripting help

[Brian Schott]

On Monday, 12 August 2013 at 19:34:53 UTC, Brian Schott wrote:

You're correct. I forgot to do a push last night. Unfortunately I won't be able to get this fixed for another 5 hours or so.

It's checked in now.