Fix other considerations heading level in `-ftrapv` description#917

thomasnyman merged 1 commit intomainossf/wg-best-practices-os-developers:mainfrom

fix-other-considerations-heading-level-in-ftrapv-descriptionossf/wg-best-practices-os-developers:fix-other-considerations-heading-level-in-ftrapv-descriptionCopy head branch name to clipboard