Comment 7 for bug 1180397

The provisional micro-release exception for Xen includes the following caveat:

Xen, first SRU needs to define a formal regression test procedure, such as "boot the last N releases/LTS default install and verify some list of things (networking, file system test suite, etc.)" (2013-07-22)

Where has that been defined? I do not see it in the description here.