From ad0e4d2966ded18fd7f56c0c45403ba02eb069f3 Mon Sep 17 00:00:00 2001 From: Stefan Lankes Date: Sun, 14 Jun 2020 22:02:23 +0200 Subject: [PATCH] add latest version of libhermit --- libhermit-rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libhermit-rs b/libhermit-rs index 29452bb1a..e4212aa3b 160000 --- a/libhermit-rs +++ b/libhermit-rs @@ -1 +1 @@ -Subproject commit 29452bb1a9833ffc1f8222f14c8b9ad85ce3f60f +Subproject commit e4212aa3b368a44ab4281037edb067fe803bbde2