Auto merge of #1042 - RalfJung:nop, r=<try>

bors · bors · commit e818b60c18f5 · 2019-11-08T13:02:36.000Z
WIP NOP change

Let's see if master even still builds on Windows, or if there was some external change that broke stuff...
diff --git a/README.md b/README.md
@@ -1,3 +1,5 @@
+No-OP change!
+
 # Miri [![Build Status](https://travis-ci.com/rust-lang/miri.svg?branch=master)](https://travis-ci.com/rust-lang/miri) [![Windows build status](https://ci.appveyor.com/api/projects/status/github/rust-lang/miri?svg=true)](https://ci.appveyor.com/project/rust-lang-libs/miri)
 
 

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+No-OP change!`
	`2`	`+`
`1`	`3`	`# Miri [![Build Status](https://travis-ci.com/rust-lang/miri.svg?branch=master)](https://travis-ci.com/rust-lang/miri) [![Windows build status](https://ci.appveyor.com/api/projects/status/github/rust-lang/miri?svg=true)](https://ci.appveyor.com/project/rust-lang-libs/miri)`
`2`	`4`
`3`	`5`