Skip to content
Commit 3fe633f9 authored by Jouni Paulus's avatar Jouni Paulus
Browse files

Merge branch '666-switch-fix_613_dirac_null_ptr_usan-missing-from-options-h' into 'main' 

Resolve "Switch FIX_613_DIRAC_NULL_PTR_USAN missing from options.h"

See merge request !900
parents 8b50bb0d 0b8d71a4