# HG changeset patch
# User wenzelm
# Date 1208269514 -7200
# Node ID aae01f2139af05f0347d9781ae198d11fd40f366
# Parent  5967c2a0a94f3e43a77db57134a57dc58f6021a9
tuned;

diff -r 5967c2a0a94f -r aae01f2139af NEWS
--- a/NEWS	Tue Apr 15 16:12:18 2008 +0200
+++ b/NEWS	Tue Apr 15 16:25:14 2008 +0200
@@ -28,7 +28,7 @@
 
 * Name space merge now observes canonical order, i.e. the second space
 is inserted into the first one, while existing entries in the first
-space take precedence.  INCOMPATIBILITY is rare situations, may try to
+space take precedence.  INCOMPATIBILITY in rare situations, may try to
 swap theory imports.