Resolve "Switch FIX_613_DIRAC_NULL_PTR_USAN missing from options.h"
Related to #666 (closed)
Re-introduce the switch FIX_613_DIRAC_NULL_PTR_USAN
into options.h
Related to #666 (closed)
Re-introduce the switch FIX_613_DIRAC_NULL_PTR_USAN
into options.h