Re: [PATCH] Notify observer of breakpoint auto-disabling

Simon Marchi via Gdb-patches
2021-08-16T15:11:40Z

On 2021-08-16 10:09 a.m., Patrick Monnerat wrote:
>
> On 8/16/21 4:04 PM, Simon Marchi wrote:
>>
>> Thanks, this is ok to push.  Do you have push access?  Would you like to
>> push this on your behalf?
>
> No I don't. I only have push access to insight. Please can you do it for me? Thanks in advance.

Pushed, thanks again.

Simon