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

swap 12 to 13 for PR testing #1394

Merged
merged 1 commit into from
Nov 21, 2019
Merged

Conversation

karianna
Copy link
Contributor

No description provided.

@adoptopenjdk-github-bot
Copy link
Contributor

Can one of the admins verify this patch?

@gdams gdams merged commit 11af2c1 into adoptium:master Nov 21, 2019
@karianna karianna added this to the November 2019 milestone Nov 25, 2019
@karianna karianna added the bug Issues that are problems in the code as reported by the community label Nov 25, 2019
@karianna karianna deleted the fix_pr_builder branch February 17, 2021 09:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Issues that are problems in the code as reported by the community
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants