- update to 5.1.3
- reset MAINTAINER to ports@
Triggered by: kris wanted to remove it
Approved by: timeout from maintainer (>1 year for some PRs)
Based upon:
PR: 51079
Submitted by: ijliao
Also closes:
PR: 36622, 36341
smaller than the .gz one.
* Added a few mirror sites, since the main (redhat) site is overloaded
at the moment.
Thanks to:Mikhail Teterin and Dmitry S. Sivachenko for the suggestion.