Change-Id: Icd5dc8126d357f534f84862ae0a2eeb0356dd984 Reviewed-on: https://gerrit.libreoffice.org/c/core/+/205375 Tested-by: Ilmari Lauhakangas <ilmari.lauhakangas@libreoffice.org> Reviewed-by: Ilmari Lauhakangas <ilmari.lauhakangas@libreoffice.org> Tested-by: Jenkins