From c497f56e8a7f09c4c328bd7560631d8773b7e676 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Mon, 28 May 2012 01:11:52 +0100 Subject: [PATCH] strategy: notational fix --- strategy.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/strategy.tex b/strategy.tex index 1e8ee01..c870cfb 100644 --- a/strategy.tex +++ b/strategy.tex @@ -74,7 +74,7 @@ All the input commits to the update algorithm. (See below.) The topmost patch which we are trying to update. This and all of its dependencies will be updated. -\item[ $h : \pc^{+/-} \mapsto \set H_{\pc^{+/-}}$ ] +\item[ $h : \pc^{+/-} \mapsto \set H^{\pc^{+/-}}$ ] Function for getting the existing heads $\set H$ of the branch $\pc^{+/-}$. These are the heads which will be merged and used in this update. This will include the current local and remote git refs, as desired. -- 2.30.2