Descriptionspec: Fix run-time panic header id
Everything was linking to "Run_time_panics", but the id was "Run_time_errors".
Patch Set 1 #Patch Set 2 : code review 961042: spec: Fix run-time panic header id #
MessagesTotal messages: 3
|