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

Patrick Monnerat via Gdb-patches
2021-08-16T14:14:24Z

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.

Patrick