Note that this merge seems to have caused a test failure and needs a follow-up, as discussed friday on irc. Not going to revert it for now though, seems like it would be pointless effort.
« Back to merge proposal
Note that this merge seems to have caused a test failure and needs a follow-up, as discussed friday on irc. Not going to revert it for now though, seems like it would be pointless effort.