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

[Leemoonsoo]

Github user Leemoonsoo commented on the issue:

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


---