diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2021-08-21 17:42:56 +0000 |
|---|---|---|
| committer | Damien Zammit <damien@zamaudio.com> | 2023-06-23 23:55:58 +1000 |
| commit | 5e0f4344e007bffc2530f93f61202df90ab870df (patch) | |
| tree | c5577d69bdbfe93538198a7f4cd8d6790a51d393 /debian/changelog | |
| parent | 739e31c5578828a40bfb775b3b08afb3e715a22d (diff) | |
patches/dealloc.diff: Add missing port deallocation
Diffstat (limited to 'debian/changelog')
| -rw-r--r-- | debian/changelog | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index c11986bd..85628f6c 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +rumpkernel (0~20191130-7) UNRELEASED; urgency=medium + + * patches/dealloc.diff: Add missing port deallocation. + + -- Samuel Thibault <sthibault@debian.org> Fri, 20 Aug 2021 23:15:16 +0000 + rumpkernel (0~20191130-6) unreleased; urgency=medium * patches/intr_lock.diff: Lock the kernel on interrupt. |