diff --git a/project/hs b/project/hs index 5284330c..5a73784c 160000 --- a/project/hs +++ b/project/hs @@ -1 +1 @@ -Subproject commit 5284330c9ae36dc5843b042b702476bedb586a59 +Subproject commit 5a73784c4bde9c47977fe802f1405262af355c1a