facebook/warp — pull request #11 by WalterBright (2014-04-06 23:02:50+00:00)
Title: pptoken error

Although the string for # error and # warning is supposed to consist of pp-tokens, common practice is to accept anything.