Used SVN export to update to revision 9742.