From: bors <bors@rust-lang.org>
Date: Mon, 25 Apr 2022 21:17:52 +0000 (+0000)
Subject: Auto merge of #2086 - nbdd0121:master, r=RalfJung
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=a71a0083937671d79e16bfac4c7b8cab9c8ab9bb;p=rust.git

Auto merge of #2086 - nbdd0121:master, r=RalfJung

Update export_symbols

Follow up to rust-lang/rust#96402
---

a71a0083937671d79e16bfac4c7b8cab9c8ab9bb