Github user felixcheung commented on the issue:
https://github.com/apache/zeppelin/pull/2804
should this go to `dev@`?---
Github user felixcheung commented on the issue:
https://github.com/apache/zeppelin/pull/2804
should this go to `dev@`?---