diff --git a/docs/config.json b/docs/config.json index 4375a5a5..4012933d 100644 --- a/docs/config.json +++ b/docs/config.json @@ -1,5 +1,5 @@ { "website": { - "master_and_released_docs_differ_after": null + "master_and_released_docs_differ_after": "d40f06687f8cbbd22bf7dba05bee93aea11a169f" } }