Build #25 (Nov 25, 2022, 11:59:20 AM)

	Changes prepare v3-release lab build (details) fix v3 matcher (details)
	Started by upstream project lab-core » v3-develop build number 23 originally caused by: Started by upstream project lab-dependencies » v3-develop build number 10 originally caused by: Started by user Ubbo Veentjer
	Revision: 72f84cd71cb8e84994e764eaba3e447d28745022 Repository: https://gitlab.gwdg.de/dariah-de/jenkins-shared-library.git master
	Revision: 1afd614094dd24fced0bf798c24457f53b4c1609 Repository: https://gitlab.gwdg.de/dariah-de/textgridlab/textgrid-xml-editor-plugin.git v3-develop