style: fix a null-pointer dereference on successful merge#1236
Merged
ThomasAdam merged 1 commit intofvwmorg:mainfrom Oct 13, 2025
Merged
style: fix a null-pointer dereference on successful merge#1236ThomasAdam merged 1 commit intofvwmorg:mainfrom
ThomasAdam merged 1 commit intofvwmorg:mainfrom