Merged
Merged
Conversation
Closed
Closed
Merged
bors added a commit that referenced this pull request
Feb 8, 2017Merged
brson
removed
the
beta-nominated
label
Feb 11, 2017Labels
Accepted for backporting to the compiler in the beta channel.