]> git.proxmox.com Git - cargo.git/commitdiff
projects / cargo.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: b3d0b2e 091fa8c)
Auto merge of #6321 - ehuss:glossary, r=dwijnand
authorbors <bors@rust-lang.org>
Sat, 17 Nov 2018 22:51:43 +0000 (22:51 +0000)
committerbors <bors@rust-lang.org>
Sat, 17 Nov 2018 22:51:43 +0000 (22:51 +0000)
Add a glossary.

Closes #4392, closes #3380.


Trivial merge
backport for Debian buster