Open jwuttke opened 9 years ago
See bug reported and proposed fix at http://tex.stackexchange.com/questions/241543.
See bug reported and proposed fix at http://tex.stackexchange.com/questions/241543.