diff --git a/docs b/docs index d9bb19cbc..25e6855c2 160000 --- a/docs +++ b/docs @@ -1 +1 @@ -Subproject commit d9bb19cbcb0315e8c38b6cf97113975317269c8a +Subproject commit 25e6855c2833e593b3a7a23690ea0fcac813e7e1