Github user prabhjyotsingh commented on the issue:
https://github.com/apache/zeppelin/pull/1319
@corneadoug Yes, sure. Will merge this soon if no more discussion.
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your pr
Github user corneadoug commented on the issue:
https://github.com/apache/zeppelin/pull/1319
@prabhjyotsingh Should we merge this?
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
Github user prabhjyotsingh commented on the issue:
https://github.com/apache/zeppelin/pull/1319
Good catch, LGTM!
CI failure looks unrelated.
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does n