Skip to content
This repository has been archived by the owner on Aug 22, 2019. It is now read-only.

specify binder version #1881

Merged
merged 1 commit into from
Mar 27, 2019
Merged

specify binder version #1881

merged 1 commit into from
Mar 27, 2019

Conversation

JustinaPetr
Copy link
Contributor

Proposed changes:

Status (please check what you already did):

  • made PR ready for code review
  • added some tests for the functionality
  • updated the documentation
  • updated the changelog

@JustinaPetr JustinaPetr requested a review from amn41 March 27, 2019 12:44
Copy link
Contributor

@amn41 amn41 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

@JustinaPetr JustinaPetr merged commit 1378e0a into 0.13.x Mar 27, 2019
@JustinaPetr JustinaPetr deleted the binder-version branch March 27, 2019 13:31
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants