Skip to content

remove jikes compiler #188

New issue

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

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

Already on GitHub? # to your account

Merged
merged 1 commit into from
Feb 8, 2022
Merged

remove jikes compiler #188

merged 1 commit into from
Feb 8, 2022

Conversation

olamy
Copy link
Member

@olamy olamy commented Feb 8, 2022

Signed-off-by: Olivier Lamy olamy@apache.org

Signed-off-by: Olivier Lamy <olamy@apache.org>
@olamy olamy added the chore label Feb 8, 2022
@olamy olamy merged commit 7ddc366 into master Feb 8, 2022
@olamy olamy deleted the remove-jikes branch February 8, 2022 11:38
@olamy olamy added removed and removed chore labels Feb 8, 2022
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant