Skip to content

check optional unique_ptr in BufferDispatcher is used before de-referencing - #49

Merged
brichards64 merged 1 commit into
ToolFramework:mainfrom
marc1uk:bufferdispfix
Aug 7, 2026
Merged

check optional unique_ptr in BufferDispatcher is used before de-referencing#49
brichards64 merged 1 commit into
ToolFramework:mainfrom
marc1uk:bufferdispfix

check optional unique_ptr in BufferDispatcher is used before de-refer…

bf146be
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build_ubuntu-latest
succeeded Aug 7, 2026 in 13s