diff --git a/debian/changelog b/debian/changelog index 3314d840c..86caa33bc 100644 --- a/debian/changelog +++ b/debian/changelog @@ -8,7 +8,7 @@ linux (4.1.2-1~exp1) UNRELEASED; urgency=medium - linux-doc: DocBook: generate consistent IDs - linux-manual: DocBook: Fix duplicate man pages - linux-manual: kernel-doc: Use $KBUILD_BUILD_TIMESTAMP as man page date - * [i386] Disable VM86 + * [i386] Disable VM86 (Closes: #792003) -- Ben Hutchings Tue, 07 Jul 2015 16:25:05 +0100