about summary refs log tree commit diff
path: root/src/tools/miri
blob: 6ded8aadabda9530a4a7abb6fbbfe09a8e6aa64a (plain)
1
2
3
4
5
6
7
8
9
tree ac0a0de20033c183287ed41a2dd8d532993fdac4
parent ee05ad8617d90f8196a16ff1af63236b15d2a1c3
parent df4623e5d8518db4ca845f3db6b36e57f87c3d81
author bors <bors@rust-lang.org> 1588412491 +0000
committer bors <bors@rust-lang.org> 1588412491 +0000

Auto merge of #1386 - RalfJung:trophy, r=RalfJung

trophy case: consistent wording (X doing Y)