Updated git submodules

[doc.git] / docs / submodules / optf / has.git

diff --git a/docs/submodules/optf/has.git b/docs/submodules/optf/has.git
index db05d1f..37301dd 160000 (submodule)
--- a/docs/submodules/optf/has.git
+++ b/docs/submodules/optf/has.git
@@ -1 +1 @@
-Subproject commit db05d1fb5487976a1e74545c76aa2f0db5e4c245
+Subproject commit 37301dd6ce1fd71cfde394bef74e9645e808d804