diff options
author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2012-12-27 22:00:32 +0000 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2012-12-27 22:00:32 +0000 |
commit | ff31ea5cf19afe78c168db13352c4a60917ee6e8 (patch) | |
tree | 0085945dda621942b65219afa0514744293a5f6c /debian/patches/series | |
parent | 65472a0abebb6caeb7f8c9744d8a995c433a078a (diff) |
Cherry-pick from upstream to fix slow boot in virtualbox
Diffstat (limited to 'debian/patches/series')
-rw-r--r-- | debian/patches/series | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series index 8433870..a06ca83 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,6 +1,7 @@ 00_clean_gfdl.patch 11_ignore_CSIn.patch 12_version_suffix.patch +20_slow-boot.patch 50_initrd.patch 60_bigmem.patch 70_dde.patch |