-
Alexey Rodriguez authored
This is only turned on with -O, and probably won't make much difference at the moment, but it will be important for semi-tagging.
22bbcd1d
This is only turned on with -O, and probably won't make much difference at the moment, but it will be important for semi-tagging.