Github user andreaTP commented on the issue: https://github.com/apache/zeppelin/pull/2551 ping, probably this is good to merge
---
Github user andreaTP commented on the issue: https://github.com/apache/zeppelin/pull/2551 ping, probably this is good to merge
---