Move the version number to a plaintext file#76878

Merged

bors merged 1 commit intorust-lang:masterfrom pietroalbini:version

Sep 20, 2020

+23-21

Commits on Sep 18, 2020

bootstrap: move the version number to a plaintext file
pietroalbini
committed