Github user 1ambda commented on the issue: https://github.com/apache/zeppelin/pull/2585 I wanted to merge now. But cound't find the build history. - https://builds.apache.org/job/zeppelin-pull-request/2960/ @yu74n if you don't mind close and reopen this issue to trigger jenkins?
---