Change-Id: Icd326ab025ffb74f36dba880261ed3638bcdfd5c
Reviewed-on: https://gerrit.libreoffice.org/68191
Tested-by: Jenkins
Reviewed-by: Heiko Tietze <tietze.heiko@gmail.com>
Reviewed-by: andreas_kainz <kainz.a@gmail.com>