[Vufind-admins] Jenkins build is back to normal : VuFind #6972

[Jenkins <dem...@gm...>]

See <http://vufind.org/jenkins/job/VuFind/6972/display/redirect?page=changes>