From c82ff355a53b193f7484c9988059108951e228be Mon Sep 17 00:00:00 2001 From: Denis Fadeev Date: Tue, 3 Sep 2019 21:43:33 +0500 Subject: [PATCH] Merge PR #4984: Switch docs version to master --- docs/versions | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/versions b/docs/versions index e15fe4f819..1f7391f92b 100644 --- a/docs/versions +++ b/docs/versions @@ -1 +1 @@ -updated-docs +master