From 0ae8c4a7dc97a2f4c562bcc32efd53f7ae01bde3 Mon Sep 17 00:00:00 2001
From: Thomas A <curioustommy@protonmail.com>
Date: Mon, 20 Apr 2020 10:22:22 -0700
Subject: [PATCH] Update cctools-port

---
 src/external/cctools-port | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/external/cctools-port b/src/external/cctools-port
index eb9ad9733..9b9ef9cde 160000
--- a/src/external/cctools-port
+++ b/src/external/cctools-port
@@ -1 +1 @@
-Subproject commit eb9ad9733115949473592e61b11baec973fb5104
+Subproject commit 9b9ef9cde818495a863860c66a0c07e8d6bddec7
-- 
2.51.2