When is a new release planned?

[FWest98]

We are soon planning to start teaching Dafny in a course in university, but for us both #4328 and #4407 are severe issues that make it impossible to work with version 4.2.0. So we are wondering if a next release is already planned for the upcoming weeks?
If there are no concrete plans yet, we'll have to include instructions on how to force v4.1.0 in VS Code, but that will without a doubt create a lot of confusion for the students so would not be preferred of course.

[keyboardDrummer]

We're working on a 4.3 release. I hope we'll release it this week but I can't make any promises.

[FWest98]

Thank you for the quick reply! We're only starting in 2-3 weeks, so let's hope something is out by then