matrix-spec-proposals

fd87b8a0 - Fix contradictions for flag alternative