]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: c6030c9 1e4b663)
Rollup merge of #72283 - jonas-schievink:elaborate-drop-elaboration, r=cramertj
authorDylan DPC <dylan.dpc@gmail.com>
Mon, 18 May 2020 17:04:04 +0000 (19:04 +0200)
committerGitHub <noreply@github.com>
Mon, 18 May 2020 17:04:04 +0000 (19:04 +0200)
Drop Elaboration Elaboration

As in, adding more documentation to it.


Trivial merge
Empowering everyone to build reliable and efficient software.