* Re: [PR PATCH] [Merged]: tectonic: update to 0.1.12. [not found] <gh-mailinglist-notifications-41a7ca26-5023-4802-975b-f1789d68868e-void-packages-17711@inbox.vuxu.org> @ 2019-12-26 21:11 ` voidlinux-github 0 siblings, 0 replies; only message in thread From: voidlinux-github @ 2019-12-26 21:11 UTC (permalink / raw) To: ml [-- Attachment #1: Type: text/plain, Size: 165 bytes --] There's a merged pull request on the void-packages repository tectonic: update to 0.1.12. https://github.com/void-linux/void-packages/pull/17711 Description: None ^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2019-12-26 21:11 UTC | newest] Thread overview: (only message) (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- [not found] <gh-mailinglist-notifications-41a7ca26-5023-4802-975b-f1789d68868e-void-packages-17711@inbox.vuxu.org> 2019-12-26 21:11 ` [PR PATCH] [Merged]: tectonic: update to 0.1.12 voidlinux-github
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for NNTP newsgroup(s).