Merge branch 'master' of ssh://git.cweiske.de/~/git/usb-wde1-tools
authorChristian Weiske <cweiske@cweiske.de>
Sat, 25 May 2013 21:51:58 +0000 (23:51 +0200)
committerChristian Weiske <cweiske@cweiske.de>
Sat, 25 May 2013 21:51:58 +0000 (23:51 +0200)

Trivial merge