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

DevKit updates for 1.x branch #412

Merged
merged 1 commit into from
Jan 16, 2017
Merged

DevKit updates for 1.x branch #412

merged 1 commit into from
Jan 16, 2017

Conversation

SonataCI
Copy link
Collaborator

No description provided.

@SonataCI SonataCI removed the wip/poc label Jan 16, 2017
@SonataCI SonataCI merged commit c658fb6 into 1.x Jan 16, 2017
@SonataCI SonataCI deleted the 1.x-dev-kit branch January 16, 2017 02:50
@OskarStark
Copy link
Member

@soullivaneuh could you add a pedantic label to those PR's and is it possible to remove the review required label after merging a PR?

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