APT ordering of reposiitories

[Ralf Mardorf]

On Fri, 2020-05-01 at 13:34 +0100, Bill Purvis wrote:
> Maybe it's a bug in the Mint version of apt?

Perhaps it is, but more likely /etc/apt/sources.list and/or
/etc/apt/sources.list.d/* are fishy.