coq/coq — pull request #13 by JasonGross (2014-04-08 00:58:47+00:00)
Title: Add a regression test for bug 3001

I haven't actually tested that the test suite passes with this, but will do so soon (it seems rather small, though).