diff options
author | Guillem Jover <guillem@debian.org> | 2007-08-13 00:03:50 +0000 |
---|---|---|
committer | Guillem Jover <guillem@debian.org> | 2007-08-13 00:03:50 +0000 |
commit | 0fbe6338f9ed438e4d50e77f96fa1f7a05a67939 (patch) | |
tree | eaf2f68e15ed8f421d00704b0844968365723149 | |
parent | 7fee82bdab2a31ad367927570553f73835bddf01 (diff) |
Correct the past, thanks to Thomas Schwinge.
-rw-r--r-- | debian/changelog | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog index d7a1d22..71edbd2 100644 --- a/debian/changelog +++ b/debian/changelog @@ -11,7 +11,7 @@ gnumach (2:1.3.99.dfsg.cvs20070809-1) unstable; urgency=low gnumach (2:1.3.99.dfsg.cvs20070526-1) unstable; urgency=low * New upstream CVS snapshot. - - debian/patches/41_io_unlock_ioremove.patch: Removed, merged upstream. + - debian/patches/41_io_unlock_ioremove.patch: Removed, fixed upstream. - debian/patches/42_disable_ioperm.patch: Likewise. - debian/patches/43_debvice_port_fix.patch: Likewise. - debian/patches/44_more_ports.patch: Likewise. |