Build #989 (Aug 18, 2020 9:04:09 PM)

PR #559: Jupyterlab extension for Ma...

	No changes.
	GitHub pull request #559 of commit 2239b5b7f01cde07418c8e8c13989ac14d30e5bb, no merge conflicts.
	Revision: 28453488b7ba59eb1f82a92156803baef281c2dc origin/pr/559/merge