Skip to content

20230728 ubsan supp update

multrus requested to merge 20230728_ubsan_supp_update into main

Updates scripts/ubsan.supp after the fixes to #617 (closed) and #629 (closed) have been merged to main.

Merge request reports