Skip to content
This repository was archived by the owner on Oct 11, 2022. It is now read-only.

Conversation

@brianlovin
Copy link
Contributor

Deploy after merge (delete what needn't be deployed)

  • iris

mxstbr and others added 3 commits March 8, 2018 20:26
This should maybe fix the connection error, closes #2522
@brianlovin brianlovin changed the base branch from alpha to production March 8, 2018 19:32
@brianlovin brianlovin merged commit f527d1e into production Mar 8, 2018
@brianlovin brianlovin deleted the cherry-pick branch March 8, 2018 20:04
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