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 65f7830..8a953e2 160000 (submodule)
--- a/docs/submodules/optf/has.git
+++ b/docs/submodules/optf/has.git
@@ -1 +1 @@
-Subproject commit 65f78304ac9063f28fc7ae9a8d20e23acfb2aae6
+Subproject commit 8a953e2c7005143275c9706775ff0f5eda81df7d