Subject: Re: bug#69943: 30.0.50; Tabbing through widgets can signal beginning-of-buffer error

From: Stephen Berman <[email-masked]>
Date: Thu, 18 Apr 2024 15:37:22 +0200

On Thu, 18 Apr 2024 14:35:50 +0300 Eli Zaretskii <[email-masked]> wrote:

>> Date: Thu, 18 Apr 2024 07:09:56 -0300
>> Cc: [email-masked]
>> From: Mauro Aranda <[email-masked]>
>> 
>> Eli Zaretskii <[email-masked]> writes:
>> 
>>  > Ping! Ping!
>>  >
>>  >> Cc: [email-masked], [email-masked]
>>  >> Date: Sat, 06 Apr 2024 11:57:31 +0300
>>  >> From: Eli Zaretskii <[email-masked]>
>>  >>
>>  >> Ping! Mauro, can you please chime in?
>>  >>
>>  >> > From: Stephen Berman <[email-masked]>
>>  >> > Cc: [email-masked],  [email-masked]
>>  >> > Date: Mon, 01 Apr 2024 17:41:36 +0200
>>  >> >
>>  >> > On Mon, 01 Apr 2024 18:37:35 +0300 Eli Zaretskii <[email-masked]> wrote:
>>  >> >
>>  >> > >> From: Stephen Berman <[email-masked]>
>>  >> > >> Cc: Mauro Aranda <[email-masked]>,  [email-masked]
>>  >> > >> Date: Mon, 01 Apr 2024 17:20:04 +0200
>>  >> > >>
>>  >> > >> On Fri, 22 Mar 2024 17:36:31 +0200 Eli Zaretskii <[email-masked]> 
>> wrote:
>>  >> > >>
>>  >> > >> > Mauro, any comments to the proposed patch?
>>  >> > >>
>> 
>> Looks good to me.  Sorry for the delay.
>
> Thanks.  Stephen, feel free to install and close the bug.

Done as commit 94dec953179 to master and bug closed.  Thanks.

Steve Berman