Good news, thanks! Bug #9388 should probably be closed or more correctly be marked as a duplicate of bug #9109<https://projects.puppetlabs.com/issues/9109>so that the people watching that bug know the problem is fixed.
Regards, Dennis -- You received this message because you are subscribed to the Google Groups "Puppet Users" group. To view this discussion on the web visit https://groups.google.com/d/msg/puppet-users/-/vXv_uIDW5_IJ. 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-users?hl=en.
