Closed muzimuzhi closed 1 month ago
Apply Ulrike Fischer's review suggestion in https://github.com/davidcarlisle/dpctex/pull/54#issuecomment-2211835018.
Thanks, good idea to blame @u-fischer in the commit message, just in case:-)
Apply Ulrike Fischer's review suggestion in https://github.com/davidcarlisle/dpctex/pull/54#issuecomment-2211835018.