Closed vaibhavsagar closed 6 years ago
This is needed to ensure the use of TeX Live 2017, see this tweet for details.
Will merge as soon as Travis agrees :DD Thanks so much!
My pleasure!
IT LIVES! 🙏 Thanks again! :)
This is needed to ensure the use of TeX Live 2017, see this tweet for details.