From bd8b48393c3161a8d3e4cde26f3c8e372c7d394a Mon Sep 17 00:00:00 2001 From: Florian Dold Date: Sat, 5 Oct 2019 22:34:18 +0530 Subject: bump doc/prebuilt submodule --- doc/prebuilt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') diff --git a/doc/prebuilt b/doc/prebuilt index ca53235cc..5f8c067ab 160000 --- a/doc/prebuilt +++ b/doc/prebuilt @@ -1 +1 @@ -Subproject commit ca53235ccfa0458ebf11c204888ca370e20ec3f5 +Subproject commit 5f8c067ab79831d9c13c4155e8739f632cee320f -- cgit v1.2.3