From 5f2cb5e52fd0b7177ddbff39f7cc83a9f17a5bbe Mon Sep 17 00:00:00 2001 From: debris Date: Thu, 6 Jul 2017 16:48:58 +0200 Subject: [PATCH] push CI --- parity/main.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/parity/main.rs b/parity/main.rs index dc009ff62..0287e4bdd 100644 --- a/parity/main.rs +++ b/parity/main.rs @@ -363,3 +363,4 @@ fn main() { process::exit(main_direct(can_restart)); } } +