Build #987 (Aug 18, 2020 7:19:02 PM)

PR #559: Jupyterlab extension for Ma...

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