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 03f6b61..0da030f 160000 (submodule)
--- a/docs/submodules/optf/has.git
+++ b/docs/submodules/optf/has.git
@@ -1 +1 @@
-Subproject commit 03f6b610d467fcffc636b5f1751349cc96516613
+Subproject commit 0da030f70e15963f09a4f11639f0eade8f8e0e6a