E) We delay the 2.12 release to mid/end-November, include Matt's VM
patchset; a month is not a great amount of time for the patchset to
stabilize, but its a lot better than releasing in October. Perhaps we
could re-evaluate in November, based on how well the system is
running.