Github user felixcheung commented on the issue:

    https://github.com/apache/zeppelin/pull/2804
  
    should this go to `dev@`?


---

Reply via email to