Re: #6333: delete errant rhos-8.0-rhel-7 from erlang dist-git