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 ca1d19b..bb53f79 160000 (submodule)
--- a/docs/submodules/optf/has.git
+++ b/docs/submodules/optf/has.git
@@ -1 +1 @@
-Subproject commit ca1d19b785a9ffca4946a8a10cf96fd674f3d400
+Subproject commit bb53f794e64d92bd24c4a7027315612cde6550a6