Github user jongyoul commented on the issue:
https://github.com/apache/zeppelin/pull/2713
@prabhjyotsingh Is it ok to merge to current master?---
Github user jongyoul commented on the issue:
https://github.com/apache/zeppelin/pull/2713
@prabhjyotsingh Is it ok to merge to current master?---