[GitHub] zookeeper issue #350: fix comment type error.

2018-07-19 Thread phunt
Github user phunt commented on the issue: https://github.com/apache/zookeeper/pull/350 @cpoerschke can you close this PR given your comment re #554 and the fact that it's been committed? Thanks. ---

[GitHub] zookeeper issue #350: fix comment type error.

2018-06-29 Thread cpoerschke
Github user cpoerschke commented on the issue: https://github.com/apache/zookeeper/pull/350 Hi. Just to say I've included this pull request's change(s) in my #554 pull request. ---