[GitHub] zeppelin issue #3185: Copy-editing overview.md

2018-09-24 Thread felixcheung
Github user felixcheung commented on the issue: https://github.com/apache/zeppelin/pull/3185 this was merged? is github not syncing? ---

[GitHub] zeppelin issue #3185: Copy-editing overview.md

2018-09-23 Thread felixcheung
Github user felixcheung commented on the issue: https://github.com/apache/zeppelin/pull/3185 LGTM merging if no more comment ---

[GitHub] zeppelin issue #3185: Copy-editing overview.md

2018-09-23 Thread felixcheung
Github user felixcheung commented on the issue: https://github.com/apache/zeppelin/pull/3185 great, thx! ---