From 151d200011cb73c9869fd9fe85e794bd324ffc86 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Mon, 12 Mar 2012 16:09:29 +0000 Subject: [PATCH] improve wording --- article.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/article.tex b/article.tex index 65ef024..d852fb8 100644 --- a/article.tex +++ b/article.tex @@ -841,7 +841,7 @@ And $Y \not\in \py$ so $\neg [ Y \haspatch \p ]$ so neither Merge Ends condition applies. So a plain git merge of non-Topbloke branches meets the conditions and -is therefore consistent with our scheme. +is therefore consistent with our model. \subsection{No Replay} -- 2.30.2