]> git.lizzy.rs Git - rust.git/commit
Auto merge of #1228 - RalfJung:typo, r=RalfJung
authorbors <bors@rust-lang.org>
Sat, 14 Mar 2020 11:06:03 +0000 (11:06 +0000)
committerbors <bors@rust-lang.org>
Sat, 14 Mar 2020 11:06:03 +0000 (11:06 +0000)
commita7580f795c04c7d0a036b4b27da375a0ac87eb36
tree1a075547c4495c5a2e0a1a77d31cb429267fa154
parent2a056a7a3bb1358051874723cff179797ce00261
parenta92b2274ce064cce18b7c68d66ba7c019dde487c
Auto merge of #1228 - RalfJung:typo, r=RalfJung

fix typo and deduplicate comment