diff options
author | Thomas Van Lenten <thomasvl@google.com> | 2017-11-03 12:54:28 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-03 12:54:28 -0400 |
commit | 239dba535c48b64769cdfdfcb18f771620ccbba9 (patch) | |
tree | 8bfeca5585036b9965aad5df6ce95bca86f82815 /CONTRIBUTORS.txt | |
parent | cbe250591fca9d2e776776be065a72c5550a5556 (diff) | |
parent | 1f57e540accbb36f350da3e8f341e67ab0188de9 (diff) |
Merge pull request #3839 from thomasvl/message_equality
When comparing message, require them to have the same descriptor.
Diffstat (limited to 'CONTRIBUTORS.txt')
0 files changed, 0 insertions, 0 deletions