diff --git a/extensions/unison b/extensions/unison index 3610e13799..a7f8e25ac3 160000 --- a/extensions/unison +++ b/extensions/unison @@ -1 +1 @@ -Subproject commit 3610e13799f6b5a2dfe6447494d1d91c47aa0735 +Subproject commit a7f8e25ac39525684c59b45548414eb81cf0e731