[hibernate-dev] Favicon on CI

Davide D'Alto davide at hibernate.org
Mon Feb 19 06:36:49 EST 2018

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.


More information about the hibernate-dev mailing list