[dcl.contract.func] added missing \br after precondition-specifier#7838

jensmaurer merged 1 commit intocplusplus:maincplusplus/draft:mainfrom

OndrejPopp:fixes/2OndrejPopp/draft:fixes/2Copy head branch name to clipboard