Hi all, in view of the current status of the master branch and the fact that some essential items still are not ready to be merged, we are going to add an extra sprint. We will therefore release 9.4.0.CR3 tomorrow Friday 14th and cut Final on Friday October 5th. Tristan