spring-projects/spring-boot — pull request #1991 by joshiste (2014-11-24 18:09:25+00:00)
Title: Dispatch OPTIONS-Request to jolokias AgentServlet.

Fixes gh-1987