Sponsored eBay
Daily Deals on eBay | Best deals and Free Shipping
Save money on the best Deals online with eBay Deals. We update our deals daily, so check back for the best deals - Plus Free Shipping.
https://tug.org/pipermail/tex-live-commits/2016-August/000533.html
texlive[41819] Master/texmf-dist: optidef (6aug16)
texlivemasterdist