For the record, the name truncation is only a problem with the optimizer comments; it doesn't affect the execution, and I've been told it's fixed in later branches.
↧
For the record, the name truncation is only a problem with the optimizer comments; it doesn't affect the execution, and I've been told it's fixed in later branches.