Change-Id: Icd1ce144733d2f5e907a19bb6ef307d50becb49d
Reviewed-on: https://gerrit.libreoffice.org/35769Tested-by: Jenkins <ci@libreoffice.org>
Reviewed-by: David Tardon <dtardon@redhat.com>