diff --git a/external/hatchet b/external/hatchet index d9766d75c..a1f13410b 160000 --- a/external/hatchet +++ b/external/hatchet @@ -1 +1 @@ -Subproject commit d9766d75cfaa0333b5434f2e7139e21a5190f738 +Subproject commit a1f13410b0bf2334459bf07fee767cda81794cad