[latex3-commits] [latex3/latex2e] UF-latexlab-toc's head updated: move toc tagging socket to lttagging (a584be9e9)

[github at latex-project.org]

Repository : https://github.com/latex3/latex2e
Branch 'UF-latexlab-toc' now includes:

    5768c0c80 found a mistake: sillywalk -> sillypage
    5c06f6c64 Drop (by now) unnecessary def or worse \let of \ProvideDocElement
    962bb9d24 Merge branch 'tlc3-errata' into develop
    79583f92d fix for #1407 (#1408)
    a4685aa55 Tagging 134 (#1414)
    de5da1eb4 merge develop
    a584be9e9 move toc tagging socket to lttagging