Infrastructure

See https://gerrit.libreoffice.org/c/core/+/152818 as an example. cool#6580 should link to https://github.com/CollaboraOnline/online/issues/6580

Done, but IIRC gerrit won't pick the update until the next reload which is delayed to after office hours (tonight).