[GitHub] zeppelin issue #3227: [ZEPPELIN-3863][ZP-63] fix collaborative mode
Github user aka-demik commented on the issue: https://github.com/apache/zeppelin/pull/3227 Time to merge? ---
[GitHub] zeppelin issue #3227: [ZEPPELIN-3863][ZP-63] fix collaborative mode
Github user zjffdu commented on the issue: https://github.com/apache/zeppelin/pull/3227 LGTM ---