[sequences.general] Promote header synopses to rSec2#560
Merged
zygoloid merged 1 commit intocplusplus:masterfrom Nov 20, 2015
Merged
[sequences.general] Promote header synopses to rSec2#560zygoloid merged 1 commit intocplusplus:masterfrom
zygoloid merged 1 commit intocplusplus:masterfrom
