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
..
panic-handler	`panic_handler` is now stable	2018-09-13 10:25:59 +02:00