On Mon, 07 Aug 2017 16:51:24 +0200, Oliver Grawert wrote: >sounds like a bug to me assuming that no third party repository is used ;) the OP didn't provide much useful information