jenkinsci/jenkins — pull request #1405 by ebourg (2014-09-23 11:12:27+00:00)
Title: Update the link to the Jetty documentation in realm.properties

The link to the Jetty documentation in realm.properties no longer works.