f8 packages not upgraded by f9

[Tom Lane]

Kevin Kofler <kevin.kofler at chello.at> writes:
> The problem with grub is that the disttag was incorrectly bumped. It should have
> been 33%{?dist} or 33%{?dist}.1, not 33.1%{%dist}. Now there MUST be a F9 upgrade
> bumping the version to at least 33.1%{%dist} even if there are no other changes,
> there's no other way to fix this.

This seems like a relatively easy mistake to make, and one that could be
caught automatically by bodhi or some other part of the packaging
infrastructure.  Is such a test easy enough to be worth installing?

			regards, tom lane