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

[felixcheung]

Github user felixcheung commented on the issue:

    https://github.com/apache/zeppelin/pull/3185
  
    this was merged? is github not syncing?


---