diff options
Diffstat (limited to 'debian/changelog')
| -rw-r--r-- | debian/changelog | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index 3a57f7c..e8e068e 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,18 @@ +gnumach (2:1.4-7) unstable; urgency=medium + + [ Samuel Thibault ] + * patches/git-physical-access.patch: New patch, fixes access to physical + pages beyond last_phys_addr. + * patches/git-task_set_name.patch: New patch from git to add task_set_name + RPC. + * patches/90-fix_headers.patch: New patch to fix gnumach.defs build. + * rules: Remove generated doc files. + + [ Guillem Jover ] + * Remove myself from Uploaders. + + -- Samuel Thibault <sthibault@debian.org> Thu, 20 Mar 2014 02:26:40 +0000 + gnumach (2:1.4-6) unstable; urgency=medium * Re-enable patches/git-kentry_data_size.patch, but with an additional |