commit | 889d9c85e98f5dc79acbbda8c9778160040b0b27 | [log] [tgz] |
---|---|---|
author | Arjan Tijms <arjan.tijms@gmail.com> | Wed Apr 20 00:55:40 2022 +0200 |
committer | GitHub <noreply@github.com> | Wed Apr 20 00:55:40 2022 +0200 |
tree | dc23bbc90eb53f90b384ce88cb42ddd3456ea101 | |
parent | efde5f5e59a8a0905e3f84d2353c069a6b030ee7 [diff] | |
parent | a327bfc5906a091c848613feb47ef7c760d7fa1f [diff] |
Merge pull request #23903 from lukasj/is23745 #23745: jakarta.enterprise.cdi-api not reachable through javaee.jar