Attribute `__real_system_restart_local()` as `(noreturn)`#7167

d-a-v merged 3 commits intoesp8266:masteresp8266/Arduino:masterfrom

jjsuwa:reset_as_noreturnjjsuwa/Arduino:reset_as_noreturnCopy head branch name to clipboard