[hibernate-dev] Favicon on CI
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