Gateway version/release number

[korda]

I have installed new Gateway (over the old one) and tried to verify its version. How do you know the exe file release number?

[mgenti]

The EXE itself does not contain the version number embedded in it. The version number is supposed to be printed in the trace file, like Portal does, however this appears to be not working. We will make sure this is correctly reported in the next version.