Skip to content

Conversation

dirkcgrunwald
Copy link
Contributor

This resolves issue 1087 -- #1087

@parente
Copy link
Member

parente commented May 27, 2020

Thanks @dirkcgrunwald. 🍰 I'll get this merged tomorrow after the merge build succeeds again.

@parente parente merged commit 1e36f7c into jupyter:master May 27, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants