Build #982 (Aug 18, 2020 4:13:15 PM)

PR #559: Jupyterlab extension for Ma...

	No changes.
	GitHub pull request #559 of commit dd12d4df08d4184446726e19a49f7613fc199050, no merge conflicts.
	Revision: 1337fe88b5df666bf1d2582d52f417acfd03561f origin/pr/559/merge