1.31.0

Alex Crichton

@alexcrichton

abe02cef · Auto merge of #56518 - pietroalbini:stable-additions, r=pietroalbini · Dec 04, 2018

1.31.0 release