]> git.proxmox.com Git - cargo.git/commitdiff
Auto merge of #8081 - t-nelis:index-commands-section, r=ehuss
authorbors <bors@rust-lang.org>
Tue, 7 Apr 2020 19:47:54 +0000 (19:47 +0000)
committerbors <bors@rust-lang.org>
Tue, 7 Apr 2020 19:47:54 +0000 (19:47 +0000)
Index the commands section


Trivial merge