# 
# 
# patch "monotone.texi"
#  from [8ab23243b1975df8e2f632567a65e467d619bc2a]
#    to [7b3807e8ee6ac77d4f2a46846b1e4346cc264e52]
# 
============================================================
--- monotone.texi	8ab23243b1975df8e2f632567a65e467d619bc2a
+++ monotone.texi	7b3807e8ee6ac77d4f2a46846b1e4346cc264e52
@@ -2931,7 +2931,6 @@ @node    Workspace Collisions
 
 @page
 @node    Workspace Collisions
address@hidden Collisions}
 @section Workspace Collisions
 
 Sometimes when you work on a project, several people make similar