Skip to content
This repository was archived by the owner on Jan 23, 2026. It is now read-only.

Conversation

@Zattri
Copy link
Collaborator

@Zattri Zattri commented Nov 7, 2017

No description provided.

@erinosher
Copy link
Collaborator

@Zattri can you merge into dev, please. Make sure to update from dev first, so status checks will let you merge it.

@erinosher erinosher closed this Nov 7, 2017
@erinosher
Copy link
Collaborator

It's to make my life ever so slightly easier when pushing v1.1.0 to the server.

@erinosher erinosher changed the base branch from master to dev November 7, 2017 22:55
@erinosher erinosher reopened this Nov 7, 2017
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.

3 participants