On Fri Jan 20 21:52:10 UTC 2012 pull request #113 was closed.
Support reuse of an existing git repository checkout. requested by (daniel-pittman)
The pull request was merged by: djm68
--You received this message because you are subscribed to the Google Groups "Puppet Developers" group.
To post to this group, send email to puppet-dev@googlegroups.com.
To unsubscribe from this group, send email to puppet-dev+unsubscr...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/puppet-dev?hl=en.
