From 73d6eb244623e9b7c06032bf47bf1bd7ee25935c Mon Sep 17 00:00:00 2001
From: Tom Lane <tgl@sss.pgh.pa.us>
Date: Wed, 12 Dec 2007 06:23:27 +0000
Subject: [PATCH] Change 'merge sort join', a phrase we use nowhere else, to
 the more usual 'merge join'.

---
 doc/src/sgml/arch-dev.sgml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/src/sgml/arch-dev.sgml b/doc/src/sgml/arch-dev.sgml
index 7ee1ba357f..84575ea52e 100644
--- a/doc/src/sgml/arch-dev.sgml
+++ b/doc/src/sgml/arch-dev.sgml
@@ -1,4 +1,4 @@
-<!-- $PostgreSQL: pgsql/doc/src/sgml/arch-dev.sgml,v 2.30 2007/07/21 04:02:41 tgl Exp $ -->
+<!-- $PostgreSQL: pgsql/doc/src/sgml/arch-dev.sgml,v 2.31 2007/12/12 06:23:27 tgl Exp $ -->
 
  <chapter id="overview">
   <title>Overview of PostgreSQL Internals</title>
@@ -407,7 +407,7 @@
 
       <listitem>
        <para>
-        <firstterm>merge sort join</firstterm>: Each relation is sorted on the join
+        <firstterm>merge join</firstterm>: Each relation is sorted on the join
         attributes before the join starts. Then the two relations are
         scanned in parallel, and matching rows are combined to form
         join rows. This kind of join is more
-- 
2.40.0