Github user sanjaydasgupta commented on the issue:
https://github.com/apache/zeppelin/pull/3000
@jongyoul the merge occurred by mistake, and I am not being able to revert
it using the `git revert -m 1 <commit>` command.
I've tried looking up all help on the net, but am not getting anywhere.
Please let me know if you have any ideas that may help.
I can create a clean new PR if that will be better.---
