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 0bb9961..19b159d 160000 (submodule)
--- a/docs/submodules/optf/has.git
+++ b/docs/submodules/optf/has.git
@@ -1 +1 @@
-Subproject commit 0bb996194e6b2c462be39efb12f9f8b1f18f15eb
+Subproject commit 19b159d57e21b25c2d3eb7b70a371288371c4395