[18:03:04] If someone is around and bored, https://gerrit.wikimedia.org/r/#/c/372113/ is a simple change that I'd love reviewed please :) [18:42:00] seems to need a manual rebase? [23:18:16] andre__: Huh, didn't notice that (still learning Gerrit...) Let me see if I can do it. I guarantee it's due to RELEASE-NOTES-1.30, which is very difficult to handle if a Gerrit change isn't merged right away.