Skip to content
This repository has been archived by the owner on Nov 6, 2020. It is now read-only.

Backport Master CI PRs to Stable #7889

Merged
merged 10 commits into from
Feb 14, 2018
Merged

Backport Master CI PRs to Stable #7889

merged 10 commits into from
Feb 14, 2018

Conversation

5chdn
Copy link
Contributor

@5chdn 5chdn commented Feb 14, 2018

@5chdn 5chdn added A3-inprogress ⏳ Pull request is in progress. No review needed at this stage. A8-backport 🕸 Pull request is already reviewed well in another branch. M1-ci 🙉 Continuous integration. labels Feb 14, 2018
@5chdn 5chdn added this to the Patch milestone Feb 14, 2018
@tomusdrw
Copy link
Collaborator

We need this: #7832 for auto-updater.

@5chdn 5chdn removed the A3-inprogress ⏳ Pull request is in progress. No review needed at this stage. label Feb 14, 2018
@5chdn 5chdn merged commit 5e2258c into stable Feb 14, 2018
@5chdn 5chdn deleted the a5-ci-stable branch February 14, 2018 15:58
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
A8-backport 🕸 Pull request is already reviewed well in another branch. M1-ci 🙉 Continuous integration.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants