Github user felixcheung commented on the issue:

    https://github.com/apache/zeppelin/pull/3185
  
    this was merged? is github not syncing?


---

Reply via email to