Merge pull request #14378 from neheb/a
authorRosen Penev <rosenp@gmail.com>
Thu, 31 Dec 2020 02:35:15 +0000 (18:35 -0800)
committerGitHub <noreply@github.com>
Thu, 31 Dec 2020 02:35:15 +0000 (18:35 -0800)
auc: link to libdl when needed


Trivial merge