Skip to content

Conversation

@eulertour
Copy link
Member

This reverts commit 9c8913f, reversing
changes made to a29eabd.

This reverts commit 9c8913f, reversing
changes made to a29eabd.
@Aathish04 Aathish04 merged commit 8ae662a into master Jun 3, 2020
@Aathish04 Aathish04 deleted the revert-tex-rewrite branch June 3, 2020 09:47
@PgBiel PgBiel added pr:bugfix Bug fix for use in PRs solving a specific issue:bug infrastructure Anything related to our infrastructure labels Jun 7, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

infrastructure Anything related to our infrastructure pr:bugfix Bug fix for use in PRs solving a specific issue:bug

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants