diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2024-01-03 21:54:18 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2024-01-03 21:54:18 +0100 |
| commit | 472cbf018f2397cd108c06e4730a0536e39df915 (patch) | |
| tree | 12aa65561a96ac35be93b48e14ddfbb0f046b06f | |
| parent | 4d80a88b024ffbd8aa95b7cc8112f4b3a1b51bcb (diff) | |
control: Replace extra priority with optional
| -rw-r--r-- | debian/changelog | 1 | ||||
| -rw-r--r-- | debian/control | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog index 67a98f2d..50b8e1ff 100644 --- a/debian/changelog +++ b/debian/changelog @@ -8,6 +8,7 @@ rumpkernel (0~20211031+repack-4) UNRELEASED; urgency=medium * prune.sh: Avoid source-contains-prebuilt-ms-help-file warning. * patches/vm_allocate_contiguous_align: Work-around allocating with alignment larger than a page. + * control: Replace extra priority with optional. -- Samuel Thibault <sthibault@debian.org> Tue, 19 Sep 2023 18:29:43 +0200 diff --git a/debian/control b/debian/control index b7c6221b..04256ed2 100644 --- a/debian/control +++ b/debian/control @@ -1,5 +1,5 @@ Source: rumpkernel -Priority: extra +Priority: optional Maintainer: Robert Millan <rmh@debian.org> Build-Depends: debhelper (>= 8.0.0), po-debconf, |