I've replaced it with the linked patch and took the liberty to fix
the commit message, too (imperative present tense, max ~60 chars for
the summary).

Miklós, you can amend patches locally and push them again. As long
as you keep the `Change-Id: ...` of the original push in the commit,
Gerrit will add it as another `Patch Set` of the same change.

Patch set 2:Code-Review +2

View Change

To view, visit change 23865. To unsubscribe, or for help writing mail filters, visit settings.