[latex3-commits] [latex3/latex2e] branch 'sockets' deleted
github at latex-project.org
github at latex-project.org
Sun Aug 20 22:00:09 CEST 2023
Repository : https://github.com/latex3/latex2e
Deleted branch: sockets
More information about the latex3-commits
mailing list.