From 6c943bada2de56583d341fd427399c039b9b769f Mon Sep 17 00:00:00 2001 From: Guanqun Lu Date: Wed, 29 Aug 2018 17:27:14 +0800 Subject: [PATCH] rename to panic_handler as panic_implementation is deprecated in nightly (#626)