Fix the entry for [re.def] in xrefdelta.tex#8112

tkoeppe merged 1 commit intocplusplus:maincplusplus/draft:mainfrom

frederick-vs-ja:re-def-to-intro-defsfrederick-vs-ja/draft:re-def-to-intro-defsCopy head branch name to clipboard