Fair enough. I've filed a bug here: https://issues.jenkins-ci.org/browse/JENKINS-17808
On Tuesday, April 30, 2013 10:29:15 AM UTC-6, Jesse Glick wrote: > > On 04/29/2013 08:19 PM, Matt Seashore wrote: > > is this a known issue > > If you have to ask, the answer is probably “no”. File it with whatever > details to reproduce you can muster. > -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-dev+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.
