Paolo Teti 50ea70d7d0 Rename panic_implementation -> panic_handler há 6 anos atrás
..
panic-handler 50ea70d7d0 Rename panic_implementation -> panic_handler há 6 anos atrás