[kernel] r20192 - dists/sid/linux-tools/debian

[Ben Hutchings]

Author: benh
Date: Mon Jun  3 12:45:26 2013
New Revision: 20192

Log:
Update to 3.9.4

Modified:
   dists/sid/linux-tools/debian/changelog

Modified: dists/sid/linux-tools/debian/changelog
==============================================================================
--- dists/sid/linux-tools/debian/changelog	Mon Jun  3 12:45:05 2013	(r20191)
+++ dists/sid/linux-tools/debian/changelog	Mon Jun  3 12:45:26 2013	(r20192)
@@ -1,4 +1,4 @@
-linux-tools (3.9.3-1~experimental.1) UNRELEASED; urgency=low
+linux-tools (3.9.4-1~experimental.1) UNRELEASED; urgency=low
 
   * New upstream release