[vector.bool] Use injected-class-name in synopsis#1844
Merged
tkoeppe merged 1 commit intocplusplus:masterfrom Nov 23, 2017
Merged
[vector.bool] Use injected-class-name in synopsis#1844tkoeppe merged 1 commit intocplusplus:masterfrom
tkoeppe merged 1 commit intocplusplus:masterfrom
