Heads-up on a change present in release branch but not yet in master

Hello, dear developers.

I don’t want to bug you (more!), but this Gerrit change set [1] hasn’t
been committed to master; it’s waiting since July 24. Can somebody
give it a super-quick look?

Cloph was kind enough to commit it for libreoffice-4-3 [2], after it
got an UX ack from Astron. I’ve added it to the release notes [3], if
you’re curious about the looks.

Thank you very much in advance!

Best,
Adolfo

[1]: https://gerrit.libreoffice.org/#/c/10520/
[2]: https://gerrit.libreoffice.org/#/c/10527/
[3]: https://wiki.documentfoundation.org/ReleaseNotes/4.3#GUI
--

P.S.: I’ve recently became aware that Gerrit’s “Cherry Pick” button
shouldn’t be used (at least that’s what Miklós told me), and as I’ve
used that button a lot, I want to apologize for any annoyance I might
have inadvertently caused. But if that button really is not to be
used, please disable it in Gerrit’s configuration.