[SCM] Debian GNU Mach packaging branch, master, updated. debian/2%1.3.99.dfsg.git20111010-1-6-gf8b9426

[Samuel Thibault]

The following commit has been merged in the master branch:
commit f8b9426c87a67b036169339f3ca49cd1d5bbeca3
Author: Samuel Thibault <address@hidden>
Date:   Wed Feb 15 02:44:50 2012 +0100

    Add experimental.defs to gnuamch-dev

diff --git a/debian/patches/70_dde.patch b/debian/patches/70_dde.patch
index cea9dd0..0a3ae6d 100644
--- a/debian/patches/70_dde.patch
+++ b/debian/patches/70_dde.patch
@@ -704,3 +704,15 @@ index 95b499b..c360af6 100644
  #endif
  #ifndef MACH
        console_map_init();
+diff --git a/Makefrag.am b/Makefrag.am
+index be7b4f4..7ecda30 100644
+--- a/Makefrag.am
++++ b/Makefrag.am
+@@ -355,6 +355,7 @@ include_mach_HEADERS = \
+       include/mach/memory_object_default.defs \
+       include/mach/notify.defs \
+       include/mach/std_types.defs \
++      include/mach/experimental.defs \
+       include/mach/alert.h \
+       include/mach/boolean.h \
+       include/mach/boot.h \

-- 
Debian GNU Mach packaging