chiark / gitweb /
merge rather than abandon pollfds
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 29 Apr 2014 19:42:22 +0000 (20:42 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 29 Apr 2014 19:42:22 +0000 (20:42 +0100)
convert

diff --git a/convert b/convert
index 1acc6cf..07f7e44 100755 (executable)
--- a/convert
+++ b/convert
@@ -55,13 +55,13 @@ END
 abandonbranch branch-rrtypenoenum abandon.1998-10-04.rrtypenoenum
 abandondatedbranch 1999-04-10 mthread multithread
 abandondatedbranch 1999-04-11 ipv6
-abandondatedbranch 1999-04-11 pollfds
 
 abandondatedbranch 2000-05-07 ipv6
 abandonbranch branch-0-7-inftodebug abandon.2000-03-26.infotodebug-0.7
 
 graftmergein logcallbackfn 741a795cdaa539b48f83afbc0ac8e471543b9bf6
 graftmergein 1999-05-09-gplvslgpl e7cf3a99e5829bf53a9f36e08769787a78261045
+graftmergein 1999-04-11 pollfds f889c99835eec14dacda4b18da0636911dcd8cbc
 
 xargs git tag -d <<END
 tochiark-1998-11-08