]> git.lizzy.rs Git - rust.git/commit
Merge #6034
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>
Fri, 18 Sep 2020 16:28:03 +0000 (16:28 +0000)
committerGitHub <noreply@github.com>
Fri, 18 Sep 2020 16:28:03 +0000 (16:28 +0000)
commitbd8ba80b1bc7a251510ae8f7a25c9c9d78d3ef69
tree659d62457386aba3d856e79035153a9428a77fb4
parent82dc4af5dec0d8b4418ee5fda637fa0576884b84
parent888cb378b92a8b97bebb127f824045e21bf41812
Merge #6034

6034: docs: suggest disabling the official extension r=jonas-schievink a=jonas-schievink

Co-authored-by: Jonas Schievink <jonas.schievink@ferrous-systems.com>