diff options
| author | Guillem Jover <guillem@debian.org> | 2005-06-07 23:19:09 +0000 |
|---|---|---|
| committer | Guillem Jover <guillem@debian.org> | 2005-06-07 23:19:09 +0000 |
| commit | 1645b97213129dc357950be868a1c7da26c68b7c (patch) | |
| tree | dc196da4fe72120ddb0ef35b9efb309e37e0fe58 /debian/changelog | |
| parent | 5ac4e87651738136bbd810b1af9f9d461fdb12b3 (diff) | |
Add proxy memory objets.
- debian/patches/15_mem_obj_proxy.patch.
Thanks to Marcus Brinkmann <marcus@gnu.org>.
Diffstat (limited to 'debian/changelog')
| -rw-r--r-- | debian/changelog | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index 31f56a2..537b090 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,11 @@ +gnumach (1:20050501-4) unstable; urgency=low + + * Add proxy memory objets. + - debian/patches/15_mem_obj_proxy.patch. + Thanks to Marcus Brinkmann <marcus@gnu.org>. + + -- Guillem Jover <guillem@debian.org> Wed, 8 Jun 2005 02:01:42 +0300 + gnumach (1:20050501-3) unstable; urgency=low * Provide a udeb package. |