Github user AhyoungRyu commented on the issue:
https://github.com/apache/zeppelin/pull/1416
@rfilmyer Ah if you want to make another changes, how about creating a
[Jira
issue](https://issues.apache.org/jira/browse/ZEPPELIN/?selectedTab=com.atlassian.jira.jira-projects-plugin:issues-panel)
for that?
>What is the Jira issue?
(Does this apply to documentation PRs?)
Yes it does. Every Zeppelin-related issues can be reported in Jira. It's
not a mandatory for now, but it's good to have one even if it's a minor issue.
Also you can create another patch not in your `master` branch but sth like
`ZEPPELIN-(Jira issue number)` branch.
---
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
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at infrastruct...@apache.org or file a JIRA ticket
with INFRA.
---
