[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!


---

[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?


---