jongyoul Mon, 23 Jul 2018 16:14:54 -0700
Github user jongyoul commented on the issue: https://github.com/apache/zeppelin/pull/3057 It seems to be ready to merge.
---