From: Michael Gernoth <michael@gernoth.net>
Date: Mon, 14 Apr 2008 21:18:24 +0000 (+0200)
Subject: remove no longer needed dummy_interrupt mutex
X-Git-Url: https://git.zerfleddert.de/cgi-bin/gitweb.cgi/usb-driver/commitdiff_plain/614a4da1e8cec9f4225f5388874cd9ff753c14f6?ds=inline;hp=614a4da1e8cec9f4225f5388874cd9ff753c14f6

remove no longer needed dummy_interrupt mutex
---