George Oikonomou aedffb6c87 Merge pull request #767 from ejoerns/pull-req/timer-note
Note that timer_reset() must not be executed before timer expired
2015-03-29 00:46:30 +00:00
..
2015-02-15 20:11:10 +01:00
2014-07-28 11:11:45 +02:00
2014-11-22 15:49:45 +01:00
2014-11-22 15:49:45 +01:00
2015-02-15 20:11:11 +01:00
2014-05-30 11:01:20 +02:00