Merge pull request #4926 from RosettaCommons/revert-4897-dpaoliello/noreturn
Revert "Use the C++11 `[[ noreturn ]]` attribute"
Reverts #4897
This merge broke compilation. Reverting temporarily until this can be fixed.
notify author
notify list [rosetta-logs@googlegroups.com]