tree f879b470f825bf15aee77acffe7912f0975b09ed
parent 0908d8fc858a7ffa0bcd1d4ce87c4b8144178862
author tedyu <yuzhihong@gmail.com> 1414528227 -0700
committer tedyu <yuzhihong@gmail.com> 1414528227 -0700

SLIDER-578 Change RoleHistory#failedNodes to Set