[basic.types] Change redundant normative wording into note#3890
Merged
zygoloid merged 1 commit intocplusplus:masterfrom Oct 17, 2020
Merged
[basic.types] Change redundant normative wording into note#3890zygoloid merged 1 commit intocplusplus:masterfrom
zygoloid merged 1 commit intocplusplus:masterfrom
