On Mon, Dec 23, 2013 at 8:09 AM, Martijn Verburg <[email protected]> wrote: > JIC this hasn't been reported yet.
Search for it in JIRA, and if you do not find it, file it. -- 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 [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
