Build #980 (Aug 18, 2020 2:16:31 PM)

PR #559: Jupyterlab extension for Ma...

	No changes.
	GitHub pull request #559 of commit 60132b7b46fbeba2aad65f1e89d226369db4df68, no merge conflicts.
	Revision: 1bae3680bdee3e62285fe7b567f1f2fbf734928a origin/pr/559/merge