Auto version update to [20.1.13.1] [54431]

cmake/version.cmake

@@ -2,10 +2,10 @@
 set(VERSION_REVISION 54431)
 set(VERSION_MAJOR 20)
 set(VERSION_MINOR 1)
-set(VERSION_PATCH 12)
+set(VERSION_PATCH 13)
 set(VERSION_GITHASH 278362fecbc7056d77b12a2b49df08d58c231fb7)
-set(VERSION_DESCRIBE v20.1.12.86-stable)
-set(VERSION_STRING 20.1.12.86)
+set(VERSION_DESCRIBE v20.1.13.1-stable)
+set(VERSION_STRING 20.1.13.1)
 # end of autochange
 
 set(VERSION_EXTRA "" CACHE STRING "")

debian/changelog

-clickhouse (20.1.12.1) unstable; urgency=low
+clickhouse (20.1.13.1) unstable; urgency=low
 
   * Modified source code
 
- -- clickhouse-release <clickhouse-release@yandex-team.ru>  Fri, 24 Apr 2020 13:28:25 +0300
+ -- clickhouse-release <clickhouse-release@yandex-team.ru>  Wed, 27 May 2020 03:06:17 +0300

docker/client/Dockerfile

 FROM ubuntu:18.04
 
 ARG repository="deb http://repo.yandex.ru/clickhouse/deb/stable/ main/"
-ARG version=20.1.12.*
+ARG version=20.1.13.*
 
 RUN apt-get update \
     && apt-get install --yes --no-install-recommends \

docker/server/Dockerfile

 FROM ubuntu:18.04
 
 ARG repository="deb http://repo.yandex.ru/clickhouse/deb/stable/ main/"
-ARG version=20.1.12.*
+ARG version=20.1.13.*
 ARG gosu_ver=1.10
 
 RUN apt-get update \

docker/test/Dockerfile

 FROM ubuntu:18.04
 
 ARG repository="deb http://repo.yandex.ru/clickhouse/deb/stable/ main/"
-ARG version=20.1.12.*
+ARG version=20.1.13.*
 
 RUN apt-get update && \
     apt-get install -y apt-transport-https dirmngr && \