[GitHub] zeppelin pull request #3260: upgrade jetty version

2018-12-12 Thread fred521
Github user fred521 closed the pull request at: https://github.com/apache/zeppelin/pull/3260 ---

[GitHub] zeppelin pull request #3260: upgrade jetty version

2018-12-12 Thread fred521
GitHub user fred521 opened a pull request: https://github.com/apache/zeppelin/pull/3260 upgrade jetty version ### What is this PR for? A few sentences describing the overall goals of the pull request's commits. First time? Check out the contributing guide - https://zeppelin.