From 5fd234c8c8872923f4f0de033e4c51f76c88d497 Mon Sep 17 00:00:00 2001 From: Christian Rinderknecht Date: Thu, 16 May 2019 15:21:46 +0200 Subject: [PATCH] Removed unused src/bin_node. --- vendors/tezos-modded | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/vendors/tezos-modded b/vendors/tezos-modded index 378e4a590..044f4dfa5 160000 --- a/vendors/tezos-modded +++ b/vendors/tezos-modded @@ -1 +1 @@ -Subproject commit 378e4a590407517482952984571fba2e52962900 +Subproject commit 044f4dfa5974e627eab9bc1e3578b199182670fc