openscad/openscad — pull request #900 by t-paul (2014-08-03 18:49:57+00:00)
Title: do not merge...

This pull request is currently only used for testing travis issues...