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/ckbcomp: upgrade to 1.193 #9951

Closed
wants to merge 1 commit into from
Closed

main/ckbcomp: upgrade to 1.193 #9951

wants to merge 1 commit into from

Conversation

maxice8
Copy link
Contributor

@maxice8 maxice8 commented Aug 8, 2019

No description provided.

@project-bot project-bot bot added this to To Do in Triage Aug 8, 2019
@probot-autolabeler probot-autolabeler bot added the R-main Main repository label Aug 8, 2019
@algitbot
Copy link

algitbot commented Aug 8, 2019

Merged in 9dd716b by @Ikke. 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 8, 2019
Triage automation moved this from To Do to Done Aug 8, 2019
algitbot pushed a commit that referenced this pull request Aug 8, 2019
@maxice8 maxice8 deleted the ckbcomp branch August 8, 2019 22:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
R-main Main repository
Projects
2 participants