Fix #13633 (safety: the xml version 3 report should show safety properties)#7298

danmar merged 1 commit intocppcheck-opensource:maincppcheck-opensource/cppcheck:mainfrom

cppchecksolutions:fix-13633cppchecksolutions/cppcheck:fix-13633Copy head branch name to clipboard