diff -r ea4aa1890b16 -r a140d1857931 tests/test-obsolete.t
--- a/tests/test-obsolete.t	Tue Apr 24 15:56:31 2012 +0200
+++ b/tests/test-obsolete.t	Wed Apr 25 18:15:56 2012 +0200
@@ -124,6 +124,7 @@
   adding manifests
   adding file changes
   added 5 changesets with 5 changes to 5 files (+1 heads)
+  $ qlog -R ../other-new verify
   $ qlog -R ../other-new -r 'obsolete()'
   2
   - 0d3f46688ccc
@@ -178,6 +179,15 @@
   $ qlog -R ../other-new -r 'obsolete()'
   2
   - 0d3f46688ccc
+
+Pushing again does not advertise extinct changeset
+
+  $ hg push ../other-new
+  pushing to ../other-new
+  searching for changes
+  no changes found
+  [1]
+
   $ hg up -q .^ # 3
   Working directory parent is obsolete
   $ mkcommit "obsol_d'" # 7