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
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 user phunt commented on the issue:
https://github.com/apache/zookeeper/pull/47
@cpoerschke please close this given your recent comment. thanks.
---
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