jetty-project/jetty-documentation — pull request #1 by martinburger (2013-01-28 21:33:24+00:00)
Title: Fix for #399309

Just after I reported [#399309](https://bugs.eclipse.org/bugs/show_bug.cgi?id=399309), I noticed that everybody could contribute to the documentation...

Well, you can find a bugfix for that very bug in this request.