diff --git a/third_party/elemental-forms b/third_party/elemental-forms index e4b3316c3..3e7d961fe 160000 --- a/third_party/elemental-forms +++ b/third_party/elemental-forms @@ -1 +1 @@ -Subproject commit e4b3316c360085ced026087e82b0e31aaba57532 +Subproject commit 3e7d961fea8cf8a857292d21106834c8566903f2