Closed texttheater closed 5 years ago
Something strange going on with spurious type raising that escapes the normal-form constraints due to a strange punctuation rule.
Fixed in 818e17790cad8c134e52a867a8e34b80d9a646d4.
Something strange going on with spurious type raising that escapes the normal-form constraints due to a strange punctuation rule.