Build #10 (Nov 25, 2022, 11:55:21 AM)

	Changes prepare v3-release lab build (details) fix v3 matcher (details)
	Started by user Ubbo Veentjer
	Revision: 72f84cd71cb8e84994e764eaba3e447d28745022 Repository: https://gitlab.gwdg.de/dariah-de/jenkins-shared-library.git master
	Revision: d2833b129e0ea1320009ccfce217b128d18cf86b Repository: https://gitlab.gwdg.de/dariah-de/textgridlab/textgridlab-dependencies.git v3-develop