Anyway, given that this is not a regression caused by this branch, I think this is OK to merge. It's been so long though that I'm going to leave it 24 hours for any more objections :-)
« Back to merge proposal
Anyway, given that this is not a regression caused by this branch, I think this is OK to merge. It's been so long though that I'm going to leave it 24 hours for any more objections :-)