diff options
| author | Martin Sustrik <sustrik@250bpm.com> | 2010-10-15 10:58:19 +0200 |
|---|---|---|
| committer | Martin Sustrik <sustrik@250bpm.com> | 2010-10-15 10:58:19 +0200 |
| commit | b64b50ae218dbbc362eaeb0571a337650f623e3c (patch) | |
| tree | 38247a0addc1da446a54f6621a7aab68227514c1 /debian/source/options | |
| parent | e288f7a347eb5a2fd38043d930fc67c8e8bcce9b (diff) | |
Timers correctly canceled by PGM engines on shutdown.
Signed-off-by: Martin Sustrik <sustrik@250bpm.com>
Diffstat (limited to 'debian/source/options')
0 files changed, 0 insertions, 0 deletions