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 5e2f356..d8a3bd9 160000 (submodule)
--- a/docs/submodules/optf/has.git
+++ b/docs/submodules/optf/has.git
@@ -1 +1 @@
-Subproject commit 5e2f356e8a51c08b442c05a954f1d8ada394932f
+Subproject commit d8a3bd9ae9c72947b53df661c57f8dd697ef73dc