[GitHub] zeppelin issue #3161: [MINOR] Fix incompatibilities of `dev/merge_zeppelin_p...

[jongyoul]

Github user jongyoul commented on the issue:

    https://github.com/apache/zeppelin/pull/3161
  
    @zjffdu OH!!! It's quite time-consuming!!! I'll close it. :-) It's not 
critical for now


---