Github user qwemicheal commented on the issue:
https://github.com/apache/zeppelin/pull/2412
@jasper-k
Zeppelin 0.7.2 was released on Jun 12 and this pull got merged to master
on Sep 28. Even Zeppelin 0.7.3 doesn't contain this pull since it was released
on Sep 21. So I think you'd have to rebuild from master.---
