diff --git a/external/parthenon b/external/parthenon index 8af38e42..725deed2 160000 --- a/external/parthenon +++ b/external/parthenon @@ -1 +1 @@ -Subproject commit 8af38e420c56baf9c86c4c68f0787f10e8824d9d +Subproject commit 725deed20ca2dff61d59f3a18d41772d8c4a7644