21 Nov
2014
21 Nov
'14
1:23 p.m.
* Marcel Korpel
Even better, file a merge request, not a deletion request.
Nevermind, texlive-latexextra is in [extra], so you can't merge that package. Regards, Marcel