Merge remote-tracking branch 'upstream/devel' into devel

# Conflicts:
#	GPy/kern/src/coregionalize.py
This commit is contained in:
gehbiszumeis 2022-03-30 14:48:32 +02:00
commit ce2b15481b

Diff content is not available