Merge branches 'barrier.2012.06.06a', 'doctorture.2012.06.06a', 'fixes.2012.06.06a' and 'fnh.2012.06.06a' into HEAD