New commits:
commit 1e115397e291c10458ed17d5239986447ede8e39
Author: Arwed von Merkatz <v.merkatz AT gmx.net>
Commit: Arwed von Merkatz <v.merkatz AT gmx.net>
udev: only run coldplugging if udev is used
diff --git a/disk/udev/DETAILS b/disk/udev/DETAILS
index 662d9dc..8a1980d 100755
--- a/disk/udev/DETAILS
+++ b/disk/udev/DETAILS
@@ -1,5 +1,6 @@
SPELL=udev
VERSION=115
+ PATCHLEVEL=1
SOURCE=$SPELL-$VERSION.tar.bz2
SOURCE2=$SOURCE.sign
SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$VERSION"
diff --git a/disk/udev/HISTORY b/disk/udev/HISTORY
index f0a5912..d4cc29a 100644
--- a/disk/udev/HISTORY
+++ b/disk/udev/HISTORY
@@ -1,3 +1,8 @@
+2007-08-26 Arwed v. Merkatz <v.merkatz AT gmx.net>
+ * init.d/coldplug: only run the coldplugging stuff if udev is used for
+ /dev management, bug #13807
+ * DETAILS: PATCHLEVEL++
+
2007-08-24 Ladislav Hagara <hgr AT vabo.cz>
* DETAILS: 115