-
Simon Marlow authored
The log file format was still using 32 bits, this just updates the header file to match; there should be no functional changes.
1106d279
The log file format was still using 32 bits, this just updates the header file to match; there should be no functional changes.