On Tuesday, January 14, 2014 11:00:20 AM UTC-6, Rob Reynolds wrote: > > > > > On Mon, Jan 13, 2014 at 9:05 PM, Rob Reynolds > <[email protected]<javascript:> > > wrote: > >> >> >> >> On Mon, Jan 13, 2014 at 4:24 PM, jcbollinger >> <[email protected]<javascript:> >> > wrote: >> >>> >>> >>> On Monday, January 13, 2014 2:45:11 PM UTC-6, Rob Reynolds wrote: >>>> >>>> Paul, >>>> We've patched that here https://github.com/ >>>> puppetlabs/puppet-win32-ruby/pull/17 which should be included in >>>> puppet 3.4.0 forward. We are updating to the current ruby version (484). >>>> >>>> We are now using JIRA for reporting issues, you would do that here: >>>> https://tickets.puppetlabs.com >>>> >>>> >>> >>> JIRA is cool and all, but how would Joe Random visiting the PL site find >>> it? The "Bug Tracker" link in the top navigation bar still points to >>> Redmine (i.e. projects.puppetlabs.com). >>> >> >> Sounds like some areas haven't yet been updated. I've added >> https://tickets.puppetlabs.com/browse/DOCUMENT-16 (waiting to hear if >> this is indeed the proper location to report these outdated links) to get >> this updated. >> > > That link looks fine to me this morning (I'm not sure if something changed > or I just didn't look close enough last night). Where are you seeing Bug > Tracker link point to redmine (specific urls)? > > >
http://docs.puppetlabs.com/ http://docs.puppetlabs.com/puppet/3/reference/ etc. I.e. the first place I go when I want to determine whether behavior I observe or hear about is intentional or buggy. Indeed, I rarely go anywhere else on the PL site. As I investigate further, I see that those pages have a different header than most others at puppetlabs now do. John -- You received this message because you are subscribed to the Google Groups "Puppet Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/puppet-users/282852b9-7e67-4c99-85fa-5feb44630a34%40googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.
