hi, not critical, but I've upgraded the plugin for the Theme on Jenkins and it is now possible to add a favicon from Jenkins settings page.
Just thought of mentioning it here in case we want to change the default one. Cheers, Davide _______________________________________________ hibernate-dev mailing list hibernate-dev@lists.jboss.org https://lists.jboss.org/mailman/listinfo/hibernate-dev