[Koha] Koha 19.05.12 released

Hello! The Koha Community is happy to announce the release of Koha 19.05.12 This is a maintenance release. The full release notes can be found at: https://koha-community.org/koha-19-05-12-released/ Debian packages will be available shortly. Thanks to everyone involved. This is my first release! Everything is hopefully okay 🤞 Feedback very welcome! Cheers, -- Victor Grousset/tuxayo