mozilla/servo — pull request #357 by lordblackfox (2013-04-11 11:25:53+00:00)
Title: fixes #336

add debugging options in configure