On 03/20/2012 10:22 AM, Paolo Bonzini wrote:
Thanks for the review. Yesterday, when Benjamin had a look, I decided to go ahead and just commit the patch as posted (after having double checked that indeed it worked for me), thus no escaping. But I noticed that nearby we have got quite a few unescaped $$, should we change all of them?I think \$$ is better. Besides that it looks good.