Am 22.11.2017 um 13:52 schrieb Adrian Schröter:
On Mittwoch, 22. November 2017, 13:47:50 CET wrote Stefan Seyfried:
How do I fix that?
first if all remove the "deleted" repository from your repository path list...
This helped.
However, I did not put it there ;-)
Thanks for putting me on the right path.