Merge branch 'dual/Safe' into blead
Rafael Garcia-Suarez [Sat, 6 Mar 2010 21:44:12 +0000 (22:44 +0100)]

Trivial merge