New main version
AartBluestoke opened this issue ยท 1 comments
given that main is 2 months old, should we merge across soon?
We seem to be getting to the stage that there are not many bugs outstanding (and there are many fixed bugs vs the last main).
We also seem to be moving towards a) a new features phase again, and b) moving to 16 soon.