Xen devel - Oct 2013 - Xen 4.3.1-rc2 has been tagged

All,

aiming at a release with (as usual) not too many more changes,
but now likely only right after the summit (in order to not do it in a
needless rush right before), please test!

Thanks, Jan