Re: Fixing issue 37 with extra position callback (issue3928041)

[Carl Sorensen]

On 1/8/11 12:51 PM, "David Kastrup" <address@hidden> wrote:

> Mike Solomon <address@hidden> writes:
> 
>> All is fixed.  Attached is the original patch plus one with Carl's
>> suggested formatting changes.
>> 
>> I ran all of the regtests and nothing breaks.
>> 
>> I'd like one other person to test these patches out w/ the attached
>> .ly document to confirm.  Then, if there are no other other comments,
>> please push the patches and close the Google issue.
> 
> I can do that.  What time frame is reasonable for the "if there are no
> other comments" criterion?

24 hours is our general rule.

Thanks,

Carl