Comment 9 for bug 1193594

Revision history for this message
Robert Collins (lifeless) wrote :

Indeed, that worked - thanks. Will everyone upgrading encounter this? If so, perhaps a forced flush on new version runs would be a good idea?