From: bors <bors@rust-lang.org>
Date: Mon, 20 Apr 2020 12:30:45 +0000 (+0000)
Subject: Auto merge of #70729 - nnethercote:a-big-options-clean-up, r=petrochenkov
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=8ce3f840ae9b735a66531996c32330f24b877cb0;p=rust.git

Auto merge of #70729 - nnethercote:a-big-options-clean-up, r=petrochenkov

A big options clean-up

Lots of improvements here.

r? @Centril
---

8ce3f840ae9b735a66531996c32330f24b877cb0