Revert "remove patch"

jonas-schievink · jonas-schievink · commit d393f0f07c43 · 2021-02-14T23:37:08.000+01:00
This reverts commit f63eb67.
diff --git a/Cargo.toml b/Cargo.toml
@@ -24,3 +24,6 @@ opt-level = "s"
 [patch.crates-io.usb-device]
 git = "https://github.com/jonas-schievink/usb-device.git"
 branch = "inhibit-setaddr-resp"
+
+[patch.crates-io.panic-semihosting]
+path = "../panic-semihosting"
