edit jdk range on jenkins-release profile

This commit is contained in:
Roberto Cirillo 2022-03-01 11:38:44 +01:00
parent f99e144f5e
commit f44fb68216
1 changed files with 1 additions and 1 deletions

View File

@ -386,7 +386,7 @@
<profile>
<id>jenkins-releases</id>
<activation>
<jdk>[1.8,9)</jdk>
<jdk>[1.7,17)</jdk>
<property>
<name>jenkins-releases</name>
<value>true</value>