New stable version V9.4.2 has just been deployed.

This patch corrects the last identified issues and ProjeQtOr V9.4 becomes stable.