Explain where users can find the new dist-repos.
Commit 48d4f0db fixes this pull-request
Pull-Request has been merged by tkopecek
Explain where users can find the new dist-repos.