diff --git a/.gitmodules b/.gitmodules index fb73805e5..34e39fb4a 100644 --- a/.gitmodules +++ b/.gitmodules @@ -12,8 +12,8 @@ [submodule "submodules/HaRe"] path = submodules/HaRe - url = https://github.com/bubba/HaRe.git - # url = https://github.com/wz1000/HaRe.git + # url = https://github.com/bubba/HaRe.git + url = https://github.com/wz1000/HaRe.git [submodule "submodules/cabal-helper"] path = submodules/cabal-helper diff --git a/submodules/HaRe b/submodules/HaRe index 5e870b5b1..03de75229 160000 --- a/submodules/HaRe +++ b/submodules/HaRe @@ -1 +1 @@ -Subproject commit 5e870b5b13e8fdead0ffd9a47e60528c7490ffd8 +Subproject commit 03de7522995a3b192c3a2b010539d02e753e3d3d