ardovm commented on pull request #142:

   > No problem, it can be cherry-picked later. @ardovm: I wonder why this PR 
was against AOO42X?
   I got confused by the bug report requesting a patch to the AOO42X branch. 
   I will cherry-pick it into trunk.
   IMHO it does not belong to AOO41X... but we can discuss this on the mailing 

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.

To unsubscribe, e-mail:

For queries about this service, please contact Infrastructure at:

To unsubscribe, e-mail:
For additional commands, e-mail:

Reply via email to