Build #10 (Aug 2, 2022, 7:04:08 PM)

	Changes version update to 4.0.0-SNAPSHOT (details)
	Branch indexing
	Revision: 1d828e2c1b4bbbc78829d6bdf3a9b0c1550e614c Repository: https://gitlab.gwdg.de/dariah-de/jenkins-shared-library.git master
	Revision: 39dd3a8e21969777365979a84c362e50012d5f97 Repository: https://gitlab.gwdg.de/dariah-de/textgridlab/help.git develop