[latex3-commits] [latex3/latex2e] branch 'newlabel' deleted
github at latex-project.org
github at latex-project.org
Tue May 23 20:00:14 CEST 2023
Repository : https://github.com/latex3/latex2e
Deleted branch: newlabel
More information about the latex3-commits
mailing list.