Update git submodules

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

diff --git a/docs/submodules/optf/has.git b/docs/submodules/optf/has.git
index 8794f07..554e363 160000 (submodule)
--- a/docs/submodules/optf/has.git
+++ b/docs/submodules/optf/has.git
@@ -1 +1 @@
-Subproject commit 8794f07cf11c768876b62ba6628f88f723536eec
+Subproject commit 554e363bded371e21e65c1f97000a4cccde1fb13