rubenada commented on pull request #2027:

   @xndai do you have any other comments regarding this PR?
   I think it is in a pretty good shape, we could consider to merge it (after 
squashing commits into a single on).

This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

For queries about this service, please contact Infrastructure at:

Reply via email to