From: bors <bors@rust-lang.org>
Date: Wed, 11 Mar 2020 19:12:05 +0000 (+0000)
Subject: Auto merge of #1220 - elichai:2020-03-bump, r=RalfJung
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=704228d0bb65227c82a8b44ab819485912b44007;p=rust.git

Auto merge of #1220 - elichai:2020-03-bump, r=RalfJung

Bump rust-version to latest

I hoped for some errors I could fix to learn more of the codebase but got none :/
IDK if it's still worth the PR hehe
(is there a TODO list or something like that I can look at when I'm in the mood of contributing to Miri? :) )
---

704228d0bb65227c82a8b44ab819485912b44007