2 Commits

Author	SHA1	Message	Date
Paolo Teti	8bfd4374b6	panic_handler is now stable ... Fixes the following warning: "warning: the feature `panic_handler` has been stable since 1.30.0 and no longer requires an attribute to enable"	2018-09-13 10:25:59 +02:00
Paolo Teti	50ea70d7d0	Rename panic_implementation -> panic_handler ... panic_implementation has been deprecated/renamed. New name is panic_handler	2018-09-01 21:17:07 +02:00