[15:10:40] anomie: Do you think https://gerrit.wikimedia.org/r/#/c/425043/ should go out in REL1_31? I've got a cherry-pick at https://gerrit.wikimedia.org/r/#/c/427951/ but given that it changes behaviour / fixes a bug I wanted to check with you first. [15:12:24] James_F: Either way. Mostly I just happened to merge it as it was without noticing that the 1.31 branch cut happened. [15:12:43] OK, I'll go ahead then. [15:13:03] I spotted it when cross comparing the release notes for 1.31 between master and the branch. [16:09:41] DanielK_WMDE: https://gerrit.wikimedia.org/r/#/c/427171/ - shoudl this be backported to REL1_31? [17:29:14] TimStarling: https://gerrit.wikimedia.org/r/414969 - Curious if you know whether this is still used/ useful, and maybe CR on it if you have a minute :) [17:33:15] Krinkle, Tim is on vacation according to the autoresponder mail I received last week. [17:37:41] Krinkle: yes, please. stupid bug [20:00:58] paladox: I see https://bugs.chromium.org/p/gerrit/issues/detail?id=8812 may need a reply pointing out that I observed the bug in Firefox 59.0.2. [20:03:31] Ok [20:04:44] anomie: done