Le 19/12/2013 17:32, Adrien Thebo a écrit :
Your original email is actually under active discussion at
https://groups.google.com/forum/#!topic/puppet-dev/P8ReCHvmd2o
<https://groups.google.com/forum/#%21topic/puppet-dev/P8ReCHvmd2o> and
in fact was updated 3 hours ago, I think we are trying to sort out
those implications/complications/drawbacks in that thread. Are you
able to view that conversation?
I did view those e-mails and I'm reading them attentively. I'm eagerly
waiting for the conclusion :)
Aurélien
On Thu, Dec 19, 2013 at 3:14 AM, DEGREMONT Aurelien
<aurelien.degrem...@cea.fr <mailto:aurelien.degrem...@cea.fr>> wrote:
That was why I posted this here, to see if there is some other
implications/complications/drawbacks to this change.
Aurélien
Le 19/12/2013 12:05, Felix Frank a écrit :
Well, I guess this is the sort of patch you want to apply to
your own
boxen for the time being.
I believe it may take a while to reach a consensus about
accepting it
upstream, because it changes behavior pretty deep inside the
very core
of puppet, and the possible implications must be weighed
carefully.
Cheers,
Felix
On 12/19/2013 12:02 PM, DEGREMONT Aurelien wrote:
Nobody cares?
This is a performance improvement which seems harmless.
Aurélien
--
You received this message because you are subscribed to the Google
Groups "Puppet Developers" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to puppet-dev+unsubscr...@googlegroups.com
<mailto:puppet-dev%2bunsubscr...@googlegroups.com>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/puppet-dev/52B2D4FB.4030800%40cea.fr.
For more options, visit https://groups.google.com/groups/opt_out.
--
Adrien Thebo | Puppet Labs
--
You received this message because you are subscribed to the Google
Groups "Puppet Developers" group.
To unsubscribe from this group and stop receiving emails from it, send
an email to puppet-dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/puppet-dev/CALVJ9S%2B0tqFz%3DhyqNYSnsJ%2Buday-562nhZibYQ%2BfK0k9x4qUFQ%40mail.gmail.com.
For more options, visit https://groups.google.com/groups/opt_out.
--
You received this message because you are subscribed to the Google Groups "Puppet
Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to puppet-dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/puppet-dev/52B32065.7030001%40cea.fr.
For more options, visit https://groups.google.com/groups/opt_out.
