[-> 5612] Update to revision 5612