File diff r25716:ab9b7d7dd0ba → r25717:06ff0ed1d804