rascalmicro/red — pull request #3 by dsmall (2013-05-05 18:12:34+00:00)
Title: Red Lint update

Many other minor improvements and bug fixes as well