Skip to content
This repository has been archived by the owner on Dec 14, 2023. It is now read-only.

Major version bump. #25

Merged
merged 1 commit into from
Nov 1, 2018
Merged

Major version bump. #25

merged 1 commit into from
Nov 1, 2018

Conversation

jdm
Copy link
Member

@jdm jdm commented Nov 1, 2018

No description provided.

@jdm
Copy link
Member Author

jdm commented Nov 1, 2018

bors r+

bors bot added a commit that referenced this pull request Nov 1, 2018
@bors @jdm
Merge #25
9c0493f 
25: Major version bump. r=jdm a=jdm



Co-authored-by: Josh Matthews <josh@joshmatthews.net>
@bors
Copy link
Contributor

bors bot commented Nov 1, 2018

Build succeeded

@bors bors bot merged commit 8fb013c into master Nov 1, 2018
@mrobinson mrobinson deleted the jdm-patch-2 branch November 16, 2023 09:10
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@jdm