[Koha] Koha 20.05.17 released

Hello! :) The Koha Community is happy to announce the release of Koha 20.05.17 The full release notes can be found at: https://koha-community.org/koha-20-05-17-released/ Debian packages should be available shortly. Thanks to everyone involved :) Cheers, -- Victor Grousset/tuxayo