Build #994 (Aug 19, 2020 6:17:20 AM)

PR #559: Jupyterlab extension for Ma...

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