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 6f5a6c6..2d7fd71 160000 (submodule)
--- a/docs/submodules/optf/has.git
+++ b/docs/submodules/optf/has.git
@@ -1 +1 @@
-Subproject commit 6f5a6c68303193f44c8ecb6a73689511f04c1371
+Subproject commit 2d7fd71e516940cfb9e0e5ce98c59bcd41465cc7