Skip to content

[Merged by Bors] - Add compatibility with Bijectors 0.9 #224

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
wants to merge 1 commit into from
Closed

[Merged by Bors] - Add compatibility with Bijectors 0.9 #224

wants to merge 1 commit into from

Conversation

@devmotion
Copy link
Member

@devmotion devmotion commented Apr 5, 2021

No description provided.

@devmotion
Copy link
Member Author

devmotion commented Apr 5, 2021

bors try

bors bot added a commit that referenced this pull request Apr 5, 2021
@bors
Try #224:
ef8eaa2
@bors
Copy link
Contributor

bors bot commented Apr 5, 2021

try

Build succeeded:

This was referenced Apr 6, 2021
Closed
Closed
@torfjelde
Copy link
Member

torfjelde commented Apr 6, 2021

Can we do bors r+ here?

@devmotion
Copy link
Member Author

devmotion commented Apr 6, 2021

Sure, you just have to approve (IIRC at least one maintainer has to approve the PR) 🙂

torfjelde
torfjelde approved these changes Apr 6, 2021
View reviewed changes
Copy link
Member

@torfjelde torfjelde left a comment

Choose a reason for hiding this comment

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

Good sauce!

@devmotion
Copy link
Member Author

devmotion commented Apr 6, 2021

bors r+

bors bot pushed a commit that referenced this pull request Apr 6, 2021
@devmotion
Add compatibility with Bijectors 0.9 (#224)
068e5d3
@bors
Copy link
Contributor

bors bot commented Apr 6, 2021

Pull request successfully merged into master.

Build succeeded:

@bors bors bot changed the title Add compatibility with Bijectors 0.9 [Merged by Bors] - Add compatibility with Bijectors 0.9 Apr 6, 2021
@bors bors bot closed this Apr 6, 2021
@bors bors bot deleted the dw/bijectors branch April 6, 2021 10:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@torfjelde torfjelde torfjelde approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@devmotion @torfjelde