Merge pull request #7246 from cretingame/master
authorDirk Brenken <redacted>
Tue, 30 Oct 2018 14:45:13 +0000 (15:45 +0100)
committerGitHub <redacted>
Tue, 30 Oct 2018 14:45:13 +0000 (15:45 +0100)
erlang: update to version 21.0


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