$4 revisions of $1 were merged into $2. $3