Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

main/jasper: remove #10141

Closed
wants to merge 1 commit into from
Closed

main/jasper: remove #10141

wants to merge 1 commit into from

Conversation

maxice8
Copy link
Contributor

@maxice8 maxice8 commented Aug 17, 2019

@probot-autolabeler probot-autolabeler bot added the R-main Main repository label Aug 17, 2019
@maxice8 maxice8 added the S-ready Ready for merge label Aug 19, 2019
@algitbot
Copy link

Merged in 776c741 by @ncopa. Thanks for your contribution!

(This pull request has been closed automatically by GitHub PR Closer. If you think that it’s not resolved yet, please add a comment.)

@algitbot algitbot closed this Aug 21, 2019
@maxice8 maxice8 deleted the jasper branch August 21, 2019 14:01
@tcely tcely removed the S-ready Ready for merge label Aug 26, 2019
@tcely tcely added the A-remove Deletes an aport package label Sep 17, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-remove Deletes an aport package R-main Main repository
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants