From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 5 Mar 2012 19:51:39 +0000 (+0000)
Subject: fix title etc. in merge use of no replay
X-Git-Tag: f0.2~148
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=9e53deabff04c90177d8282bdf7969545e6dc5ee;p=topbloke-formulae.git

fix title etc. in merge use of no replay
---

diff --git a/article.tex b/article.tex
index be6d475..89d23fe 100644
--- a/article.tex
+++ b/article.tex
@@ -449,9 +449,9 @@ Merge commits $L$ and $R$ using merge base $M$ ($M < L, M < R$):
    \end{cases}
 }\]
 
-\subsection{Merge Results}
+\subsection{No Replay}
 
-As above.
+See No Replay for Merge Results.
 
 \subsection{Unique Base}