4.3.10 works fine for me, this version fixes a lot of bugs, and we still have enough time to sort out any bugs, so I merged now.
Matt gave me the permission to do this today (one day after the deadline).
4.3.10 works fine for me, this version fixes a lot of bugs, and we still have
enough time to sort out any bugs, so I merged now.
Matt gave me the permission to do this today (one day after the deadline).