We've made a quick re-release of 13.7 to fix this ASAP. If you re-download the installer, it should be fixed.
The change will also be in subsequent versions as well, of course.
We've made a quick re-release of 13.7 to fix this ASAP. If you re-download the installer, it should be fixed.
The change will also be in subsequent versions as well, of course.