|
From: | Paul Eggert |
Subject: | bug#15561: periodic timer stops running |
Date: | Tue, 25 Mar 2014 07:45:01 -0700 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.4.0 |
Barry OReilly wrote:
I think applying Paul Eggert's patch is all that's left to this bug report then. Since it solves a theoretical flaw rather than one witnessed, maybe it's appropriate for trunk?
Sounds good; done as trunk bzr 116018.
[Prev in Thread] | Current Thread | [Next in Thread] |