[GitHub] zeppelin issue #3217: [ZEPPELIN-3848] zeppelin-web dev mode does not work

2018-11-07 Thread Leemoonsoo 
Github user Leemoonsoo commented on the issue:

https://github.com/apache/zeppelin/pull/3217
  
Thanks @felixcheung for review. merge to master.


---

[GitHub] zeppelin issue #3217: [ZEPPELIN-3848] zeppelin-web dev mode does not work

2018-11-06 Thread felixcheung 
Github user felixcheung commented on the issue:

https://github.com/apache/zeppelin/pull/3217
  
LGTM


---