diff --git a/doc b/doc index 8a0873c710..e82276152d 160000 --- a/doc +++ b/doc @@ -1 +1 @@ -Subproject commit 8a0873c71095136ef1f611a01bf936f7a2805aed +Subproject commit e82276152dd8192f93dceb12ca464ee21217639c