diff --git a/versions/m-/manifold.json b/versions/m-/manifold.json index 991bae7794173b..5b932209fbe324 100644 --- a/versions/m-/manifold.json +++ b/versions/m-/manifold.json @@ -1,7 +1,7 @@ { "versions": [ { - "git-tree": "53b61d07ad8b7eb4d0070a771f5edeef00d02d0b", + "git-tree": "523ed5859a2c37a2130b793fb48bf8fac0dbcc28", "version": "3.0.0", "port-version": 0 }