about summary refs log tree commit diff
path: root/src/tools/miri
blob: 07ac10277ea5ad42efbb914da5844e0ab08efbf4 (plain)
1
2
3
4
5
6
7
8
9
10
11
tree 4ca76e1763049dc4e231c806d4dbf923f17831bd
parent 57cc8ce1d752e4bba5bfd29b9171e3a7c78a7c7e
parent 241b418125df8dee4d1524510432eea7ff50869e
author bors <bors@rust-lang.org> 1569777319 +0000
committer bors <bors@rust-lang.org> 1569777319 +0000

Auto merge of #971 - RalfJung:rustup, r=RalfJung

bump rust even more

Internet in this train isn't good enough to test this... so let's see. ;)