rascalmicro/red — pull request #17 by dsmall (2013-06-02 16:02:07+00:00)
Title: red race

This hopefully fixes a race condition which you can create by typing Ctr/Cmd-S multiple times or by clicking the Save button rapidly.