Update release notes for Rust 1.31.1#56931

Merged

bors merged 1 commit intorust-lang:masterfrom pietroalbini:relnotes-1.31.1

Dec 19, 2018

+11

Commits on Dec 17, 2018

update release notes for rust 1.31.1
pietroalbini
committed