MrTJP/ProjectRed — pull request #448 by kenzierocks (2014-06-04 16:32:13+00:00)
Title: Temporary Travis patch

You don't have to merge this, it's just a helper for anyone who needs to build.