8 Feb
2017
8 Feb
'17
12:51 p.m.
Simon Peyton Jones
Simon and I discussed this, and while we see merit in Joachim's point, we're happy to just replacing Adze with Roman forthwith, for the reasons Manual sets out below.
Life is short -- we should concentrate on progressing proposals rather than more nomination cycles. There'll be time for that later!
OK? Let's just go for it.
Yes, I can see the argument for this. Given how stretched we all are already, I suppose this is the pragmatic way forward. No objection here. Cheers, - Ben