Re: RFC: fix PR 12707

Tom Tromey
2013-01-15T15:32:23Z

>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes:

Pedro> This caught my eye though. Is there still a reason for the quoting?
Pedro> (I don't think I understood the original comment's reasoning
Pedro> fully either.)

Nope. I've removed it.

I am also not sure why there was quoting before.

Tom