[Moin-user] Subscriptions semi-lost after 1.2->1.5 upgrade

[Greg Ward]

I upgraded from MoinMoin 1.2.1 to 1.5.1 last week, and we just noticed
that page subscriptions are semi-lost.  That is, if user X was
subscribed to page Y before the upgrade, X is no longer listed in the
"General Page Infos" page for Y, and no longer receives email when Y is
updated.

*But* if user X goes to his UserPreferences page, page Y is still
present in the list of subscribe page regexes.  (And it's also still
listed in user X's data/users/<userid> file, of course.)  So if X saves
his preferences (without necessarily making any changes), all is well
again -- page Y again "knows" that user X is subscribed to it.

First: is this a known bug in the upgrade process?

Second: is there an easy way to fix our installation?  We could ask
everyone to go save their UserPreferences, but frankly, most people
won't bother.  Is there a way to propagate the information in the
data/users/* files back out so the pages know who their subscribers are?

Thanks --

        Greg