Github user felixcheung commented on the issue:
https://github.com/apache/zeppelin/pull/2478
since this is a known failure that is already fixed, let's not restart the
process.
merging if no more comment---
Github user felixcheung commented on the issue:
https://github.com/apache/zeppelin/pull/2478
since this is a known failure that is already fixed, let's not restart the
process.
merging if no more comment---