Merge pull request #12376 from peterwillcn/erlang
authorRosen Penev <redacted>
Wed, 10 Jun 2020 20:38:38 +0000 (13:38 -0700)
committerGitHub <redacted>
Wed, 10 Jun 2020 20:38:38 +0000 (13:38 -0700)
erlang: upgrade opt 23.0


Trivial merge
git clone https://git.99rst.org/PROJECT