diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2016-02-07 15:13:24 +0100 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2016-02-07 15:13:24 +0100 |
commit | f874af4425c229e77228d8d23d0ff0a997561861 (patch) | |
tree | fec48301388815e05a099903f8f7d63ec9cecfa8 /debian/patches/series | |
parent | 3a96e5ca098c578dc60c5d298b8f9f448f76c386 (diff) |
drop old patch series
Diffstat (limited to 'debian/patches/series')
-rw-r--r-- | debian/patches/series | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/debian/patches/series b/debian/patches/series index cdb408e..6bcdf9a 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -16,5 +16,3 @@ sysenter0001-yyy-sysenter-prototype.patch vm-external-fixes0001-vm-remove-unused-field-from-struct-vm_external.patch vm-external-fixes0002-vm-allocate-a-large-map-for-all-objects-larger-than-.patch vm-external-fixes0003-vm-initialize-external-maps.patch -vm-cache-policy0001-VM-cache-policy-change.patch -vm-cache-policy0002-Fix-page-cache-accounting.patch |