File diff r20765:a98457a97dde → r20766:6042c989fc8f