chiark / gitweb /
wip strategy
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Jul 2012 15:53:04 +0000 (16:53 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Jul 2012 15:53:04 +0000 (16:53 +0100)
strategy.tex

index c870cfbcfe4f77ecf430531d585f51712146076f..bfd392224d6e5c854573b4988f4314fd66d40530 100644 (file)
@@ -104,8 +104,8 @@ during the update algorithm).
 
 \item[ $\tipcn, \tipcy$ ]
 The new tips of the git branches $\pcn$ and $\pcy$, containing
-all the correct commits (and the correct other patches), as
-generated by the Traversal phase of the update algorithm.
+all the appropriate commits (and the appropriate other patches),
+as generated by the Traversal phase of the update algorithm.
 
 \end{basedescript}