12th October 2016, 11:02
(This post was last modified: 12th October 2016, 11:03 by leszek.
Edit Reason: typo correction
)
Yeah seems to be the consequence of the repo change as the priorities list got changed for the new repo too but needs a refresh to really be reread.