> > Could you submit a PR with this info in it? > > Sorry, GNATS doesn't appear to work now. It shows that the PR has been > submitted (it would be nice if it at least would show the PR number), but > the PR it doesn't appear in the new query result. It works, just not immediately as it used to be. It's PR/174. -- Regards, Pavel Roskin
- Patch to allow spaces before double hashes Pavel Roskin
- Re: Patch to allow spaces before double hashes Tom Tromey
- Re: Patch to allow spaces before double hashes Pavel Roskin
- Pavel Roskin