bors 74530adcba Auto merge of #6166 - achris:master, r=flip1995 ... Suggest a compatible shell for setup-toolchain.sh setup-toolchain.sh uses "[[" which is a bash builtin, but the guide suggests running it with sh. On Ubuntu, /bin/sh points to dash and running the script fails. --- *Please keep the line below* changelog: none		2020-10-19 13:17:07 +00:00
..
adding_lints.md	Fix remark linting on checkboxes	2020-10-14 23:26:48 +02:00
backport.md	Update backport documentation to the subtree workflow	2020-10-09 14:16:59 +02:00
basics.md	suggest a compatible shell for running setup-toolchain.sh	2020-10-12 21:56:37 -04:00
changelog_update.md	Merge commit 'ff0993c5e9162ddaea78e83d0f0161e68bd4ea73' into clippy	2020-06-09 14:36:01 +00:00
common_tools_writing_lints.md	fixup! Rename tables to typecheck_result()	2020-10-07 17:10:31 +02:00
release.md	Update release documentation	2020-10-09 09:40:57 +02:00