You are viewing a plain text version of this content. The canonical link for it is here.

Posted to dev@zookeeper.apache.org by GitBox <gi...@apache.org> on 2019/01/31 10:04:01 UTC

[GitHub] eolivelli commented on issue #793: ZOOKEEPER-3251: Add new server metric types - fix Maven build

eolivelli commented on issue #793: ZOOKEEPER-3251: Add new server metric types - fix Maven build
URL: https://github.com/apache/zookeeper/pull/793#issuecomment-459286948
 
 
   cc @nkalmar @anmolnar @lvfangmin 
   
   please commit this patch, then I will setup an additional CI job to run the build even with Maven all of the pull requests and prevent these sort of problems

----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on GitHub and use the
URL above to go to the specific comment.
 
For queries about this service, please contact Infrastructure at:
users@infra.apache.org


With regards,
Apache Git Services