From 5860d628a539a0cf1b5d2f540d715291261ec2c0 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Wed, 21 Mar 2012 18:21:28 +0000 Subject: [PATCH] wip exclusive haspatch - fix Commit Annotation --- annotations.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/annotations.tex b/annotations.tex index 72b00e8..3401475 100644 --- a/annotations.tex +++ b/annotations.tex @@ -19,7 +19,7 @@ Whether $\baseof{C}$ is required, and if so what the value is, is stated in the proof of Unique Base for each kind of commit. $C \haspatch \p$ or $\nothaspatch \p$ is represented as a -list of $\p$ for which it is known that $C \haspatch \p$; +list of $\p$ for which $C \haspatch \p$; for any $\p$ not listed, $C \nothaspatch \p$. Whether to record $C \haspatch \p$ in a new commit is in stated -- 2.30.2