[GitHub] zookeeper issue #47: Update zookeeperOver.html
Github user cpoerschke commented on the issue: https://github.com/apache/zookeeper/pull/47 Ah, oops, @ghost is indeed a ghost! Hmm, so is it unclear then how or who this pull request could be closed by then? Except perhaps the customary "Closes #47" in a commit which would result in the ASF bot closing it? ---
[GitHub] zookeeper issue #47: Update zookeeperOver.html
Github user cpoerschke commented on the issue: https://github.com/apache/zookeeper/pull/47 @phunt looks like i don't have the necessary privileges to close this pull request. @ghost as creator of the pull request, would you have a moment perhaps to close it? thank you. ---
[GitHub] zookeeper issue #47: Update zookeeperOver.html
Github user phunt commented on the issue: https://github.com/apache/zookeeper/pull/47 @cpoerschke please close this given your recent comment. thanks. ---
[GitHub] zookeeper issue #47: Update zookeeperOver.html
Github user cpoerschke commented on the issue: https://github.com/apache/zookeeper/pull/47 Hi. Looks like @phunt's https://github.com/apache/zookeeper/commit/c76b4e37fd76cf976ac598ac56fcb0139249f1af#diff-e9e2a1561945fe99d293423a6fee690f included equivalents of this change here and so this pull request here could be closed probably. ---
