diff options
Diffstat (limited to 'CONTRIBUTORS')
| -rw-r--r-- | CONTRIBUTORS | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/CONTRIBUTORS b/CONTRIBUTORS index 8cb99a71..37c47874 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -75,3 +75,7 @@ Jürgen Sauer <jojo@automatix.de> Benjamin Reichardt <reichard@math.uni-goettingen.de> for his help in debugging the transition to the new API + +Henning Holtschneider <hh@holtschneider.com> + for patching 'runvdr' to check whether the driver is already loaded + |