]> git.lizzy.rs Git - rust.git/commit
Merge #5708
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>
Tue, 11 Aug 2020 10:30:39 +0000 (10:30 +0000)
committerGitHub <noreply@github.com>
Tue, 11 Aug 2020 10:30:39 +0000 (10:30 +0000)
commite0de2475208765a171f335dfffde764f96243d41
tree0d93bf6afa9934f92d5cc924c6943a08dd5d2f7b
parentef20dfc78d2092f8b99db6716dde1928b15133a0
parentfc01c7846d5c6970e194dd223e49b863b3189432
Merge #5708

5708: Use Hygiene in completion r=jonas-schievink a=lnicola

Co-authored-by: Laurențiu Nicola <lnicola@dend.ro>