[re.results.state] fix bad index for match_result#1531
Merged
tkoeppe merged 1 commit intocplusplus:masterfrom Mar 16, 2017
Merged
[re.results.state] fix bad index for match_result#1531tkoeppe merged 1 commit intocplusplus:masterfrom
tkoeppe merged 1 commit intocplusplus:masterfrom