Skip to content

Conversation

@basil
Copy link
Member

@basil basil commented Aug 17, 2022

This property was deprecated in jenkinsci/pom#245.

@timja timja added the chore Project maintenance label Aug 17, 2022
@timja timja merged commit 5e07d80 into jenkinsci:master Aug 17, 2022
@basil basil deleted the java.level branch August 18, 2022 01:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Project maintenance

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants