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 55c5b272..7af31b22 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -2294,3 +2294,7 @@ Hans-Werner Hilse <hilse@web.de> Mikko Matilainen <mikkom@iki.fi> for reporting a possible crash if the Info key is pressed after deleting the currently replayed recording + +Benedikt Elser <elser@in.tum.de> + for a patch that was used to add cStatus::TimerChange() to inform plugins about + changes to the list of timers |