Merge pull request #126592 from jeffa5/update-tectonic-0.5.2
tectonic: 0.4.1 -> 0.5.2
authored by Doron Behar and committed by GitHub 4 years ago 5a409e8d 8abb6b44