-
Ask Hjorth Larsen authored
apparently, sometimes some quantities like spacing are not written to the parser log. Thus, use the parser log to override spacing only when possible.
786e03d8
apparently, sometimes some quantities like spacing are not written to the parser log. Thus, use the parser log to override spacing only when possible.