rustc version: 1.13.0

Release date: Sept. 10, 2020