Re: RFC: fix PR 12707

Tom Tromey
2013-01-15T17:05:06Z

Tom> It probably needs various preceding patches, though I didn't really
Tom> check in detail.

Jan> Yes, I wanted to test it but I do not see how to patch it, could
Jan> you push it to an archer branch?

archer-tromey-pr-12707-physname-cleanup

Tom