Matt Robinson <[email protected]> writes:

> Daniel, sorry this patch has gone unnoticed so long.  Would you mind opening
> a ticket and attaching this patch to it, preferably as a github branch?
> It's easier for us to prioritize patches attached to tickets.

I just wanted to update this: absolutely.  I hope to actually do a bit more
work on it in the near future, to generalize the solution and apply it in
other places that are going to benefit.

The last little while has been pretty busy for various reasons, but I should
hopefully find time to do that over the next week or two.

Given this is a solution to a problem that only shows up in disastrous
conditions it probably doesn't presently matter too much.

        Daniel
-- 
✣ Daniel Pittman            ✉ [email protected]            ☎ +61 401 155 707
               ♽ made with 100 percent post-consumer electrons

-- 
You received this message because you are subscribed to the Google Groups 
"Puppet Developers" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/puppet-dev?hl=en.

Reply via email to