Merge branch 'master' of https://git.eclipse.org/r/basyx/basyx

# Conflicts:
#	.gitignore