[namespace.udecl] Demote normative duplication to notes#1976
Merged
zygoloid merged 2 commits intocplusplus:masterfrom Jul 6, 2018
Merged
[namespace.udecl] Demote normative duplication to notes#1976zygoloid merged 2 commits intocplusplus:masterfrom
zygoloid merged 2 commits intocplusplus:masterfrom
