...as discussed at
<https://lists.freedesktop.org/archives/libreoffice/2018-November/081435.html>
"minutes of ESC call ..."

Change-Id: Ib1a4fdc56c51ab5c9e45173263689db2b88d72e7
Reviewed-on: https://gerrit.libreoffice.org/63951
Tested-by: Jenkins
Reviewed-by: Stephan Bergmann <sbergman@redhat.com>