]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #2086 - nbdd0121:master, r=RalfJung
authorbors <bors@rust-lang.org>
Mon, 25 Apr 2022 21:17:52 +0000 (21:17 +0000)
committerbors <bors@rust-lang.org>
Mon, 25 Apr 2022 21:17:52 +0000 (21:17 +0000)
Update export_symbols

Follow up to rust-lang/rust#96402


Trivial merge