Merge pull request #12376 from peterwillcn/erlang
authorRosen Penev <rosenp@gmail.com>
Wed, 10 Jun 2020 20:38:38 +0000 (13:38 -0700)
committerGitHub <noreply@github.com>
Wed, 10 Jun 2020 20:38:38 +0000 (13:38 -0700)
commitbffe690644748f04e821f418d1948c0e7a79d83e
treedbfcd3f240f9495b6892a57c14693a4c009b6280
parentba73a2195411690fb22df2fde2300f8451de675c
parent55b247b3a81e790bccf2d785a38b6acbd48123d5
Merge pull request #12376 from peterwillcn/erlang

erlang: upgrade opt 23.0