[kernel] r20195 - releases/linux-tools/3.9.4-1

[Ben Hutchings]

Author: benh
Date: Mon Jun  3 13:12:30 2013
New Revision: 20195

Log:
Release linux-tools (3.9.4-1).

Added:
   releases/linux-tools/3.9.4-1/   (props changed)
      - copied from r20193, dists/sid/linux-tools/