Laurențiu Nicola ea8159893a Mention the rustup version in the manual		2021-03-27 12:39:16 +02:00
..
dev	Merge #8054	2021-03-22 13:08:45 +00:00
user	Mention the rustup version in the manual	2021-03-27 12:39:16 +02:00