Build #973 (Aug 17, 2020 9:13:52 AM)

PR #559: Jupyterlab extension for Ma...

	No changes.
	GitHub pull request #559 of commit fbcfc9ec5a14489ed041c4f51a15e763c6d14fa0, no merge conflicts.
	Revision: f67195eeb54109b1815c18922a63bf2ad470c85b origin/pr/559/merge