[GitHub] zookeeper issue #380: Develeper shonminh

[phunt]

Github user phunt commented on the issue:

    https://github.com/apache/zookeeper/pull/380
  
    I'm guessing an accidental pull request by @Shonminh - Shonminh can you 
close this?


---