Build #12 (Mar 11, 2020, 12:42:47 PM)

Started by GitLab push by Alex Muravya

	Changes New tagging (details / gitlab)
	Started by GitLab push by Alex Muravya
	Revision: 9a25cdd8e88622fbcc747218c0b63e26f6bee670 origin/master
	Revision: 4a98aae649239cab341ccab30b525012d6160717 tagging
	Revision: ce910111ef3c6cb577fb81607245f0eda14906c7 master