On 2016-01-10 21:23, Andrei Alexandrescu wrote:
You're right, sorry about getting too enthusiastic. Should we undo? -- Andrei
That depends on how many new issues have appeared, how much trouble they cause and how much trouble it is do a rollback. It might be easier to roll forward.
-- /Jacob Carlborg