Hi, On Wed, Oct 28, 2015 at 05:03:12PM +0100, Rene Engelhard wrote: > Remove -dev-doc for now, maybe? (And -dev.). > And reinstall them afterwards?
Yeah, that works. Remove it before the upgrade, install them afterwards as a workaround - this should be done automatically though, I think Conflicts: help us here... Regards, Rene
