jthomas commented on issue #89: Fixes #88 - Add pull target which will work 
after destroy
   @mcdan I thought I'd left a comment before but it has disappeared now! I can 
review & merge if that update is done about the docs.

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:

With regards,
Apache Git Services

Reply via email to