Skip to content

Conversation

@jtpio
Copy link
Member

@jtpio jtpio commented May 16, 2023

Fixes #6818

@github-actions
Copy link
Contributor

Binder 👈 Launch a Binder on branch jtpio/notebook/lab4

@jtpio jtpio added this to the 7.0 milestone May 16, 2023
@jtpio jtpio marked this pull request as ready for review May 16, 2023 07:15
@jtpio
Copy link
Member Author

jtpio commented May 16, 2023

Quick smoke test, appears to be fine.

@jtpio jtpio merged commit d518364 into jupyter:main May 16, 2023
@jtpio jtpio deleted the lab4 branch May 16, 2023 07:22
@jtpio jtpio mentioned this pull request May 16, 2023
@github-actions github-actions bot locked as resolved and limited conversation to collaborators May 17, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

impor<tab> -> importimport

1 participant