Hi all I have a question - should I file JIRA for documentation fixes/improvements? For example, I opened PR some time ago ( https://github.com/apache/zeppelin/pull/2997) that fixes multiple problems and improves documentation. But it still not merged... (conflict occur afterwards - I'll rebase soon)
-- With best wishes, Alex Ott http://alexott.net/ Twitter: alexott_en (English), alexott (Russian)