diff options
Diffstat (limited to 'CONTRIBUTORS')
| -rw-r--r-- | CONTRIBUTORS | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/CONTRIBUTORS b/CONTRIBUTORS index 7e5886d2..c1f5eb80 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -719,3 +719,6 @@ Jon Burgess <mplayer@jburgess.uklinux.net> Thomas Schmidt <thomas.schmidt@in.stud.tu-ilmenau.de> for reporting a crash when cancelling a newly created timer + +Michael Walle <michael.walle@web.de> + for reporting a bug in channel switching after Left/Right has been pressed |