From 2423f893e5237b7c2ab05f6ba74aba09fb06257a Mon Sep 17 00:00:00 2001 From: Jakub Roztocil Date: Thu, 30 Sep 2021 14:39:32 +0200 Subject: [PATCH] Update config.json --- docs/config.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/config.json b/docs/config.json index 36d9dc37..2ba18b9d 100644 --- a/docs/config.json +++ b/docs/config.json @@ -1,5 +1,5 @@ { "website": { - "master_and_released_docs_differ_after": '8f8851f1dbd511d3bc0ea0f6da7459045610afce' + "master_and_released_docs_differ_after": "8f8851f1dbd511d3bc0ea0f6da7459045610afce" } }