Author: waldi Date: Tue Aug 14 10:27:28 2012 New Revision: 1092 Log: debian/patches/xen-x86-interrupt-pointer-missmatch.diff: Remove unneeded patch. Deleted: trunk/xen/debian/patches/xen-x86-interrupt-pointer-missmatch.diff Modified: trunk/xen/debian/patches/series Modified: trunk/xen/debian/patches/series =============================================================================--- trunk/xen/debian/patches/series Mon Aug 13 20:04:18 2012 (r1091) +++ trunk/xen/debian/patches/series Tue Aug 14 10:27:28 2012 (r1092) @@ -1,5 +1,3 @@ -xen-x86-interrupt-pointer-missmatch.diff - version.patch docs-pdflatex.patch