Merge remote-tracking branch 'origin/GP-5542_d-millar_bad_annot'

This commit is contained in:
Ryan Kurtz
2025-03-28 14:33:22 -04:00

View File

@@ -455,7 +455,7 @@ def on_breakpoint_deleted(b: gdb.Breakpoint) -> None:
@log_errors
def on_before_prompt(n: None) -> object:
def on_before_prompt() -> object:
HOOK_STATE.end_batch()
return None