Closed
Description
The term is used here:
Line 781 in 563b324
It used to be defined here:
Line 147 in 9417d36
But that definition was removed by:
c7e8927#diff-13fc6b16fa109524b40c062ee3237f51a962cf67a4c19efe5b3d69148e74813fL147
(This issue was detected by cxxdraft-htmlgen, but only because I had (manually) linkified the use of the definition, and the link broke. If the LaTeX source systematically annotated all uses of defined terms, I could detect all dangling uses automatically.)
Metadata
Metadata
Assignees
Labels
No labels
Activity