From 0d96e71f49f035e8bf76b54eae8742e497703630 Mon Sep 17 00:00:00 2001 From: Johanna Amann Date: Tue, 25 Jun 2019 10:51:15 -0700 Subject: [PATCH] Update doc submodule Fixes GH-433 [nomail] --- doc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc b/doc index 15784a174b..a840cea13e 160000 --- a/doc +++ b/doc @@ -1 +1 @@ -Subproject commit 15784a174b8f9d68218c1e5db48f75257f431174 +Subproject commit a840cea13e7c21951079422d6ec8971fb6812b06