Github user felixcheung commented on the issue: https://github.com/apache/zeppelin/pull/3185 this was merged? is github not syncing?
---
Github user felixcheung commented on the issue: https://github.com/apache/zeppelin/pull/3185 this was merged? is github not syncing?
---