On Thu, Sep 18, 2014 at 10:57 AM, roger riggs <[email protected]>
wrote:

> Much of the behavior is defined in Timer.


Agreed.  This change is technically redundant - it's just a clarification.

Reply via email to