Skip to content

Conversation

tschuett
Copy link
Contributor

@tschuett tschuett commented May 4, 2020

texlive 2020 uses version 1.8d

@jensmaurer jensmaurer merged commit 9c63289 into cplusplus:master May 4, 2020
tkoeppe pushed a commit that referenced this pull request Sep 22, 2020
tkoeppe pushed a commit that referenced this pull request Sep 22, 2020
tkoeppe pushed a commit that referenced this pull request Sep 24, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants