diff options
author | Player <sfPlayer1@users.noreply.github.com> | 2021-11-17 02:15:46 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-11-17 02:15:46 +0000 |
commit | 4616cda6ce0cc4410e049f129c07ad47c8de776d (patch) | |
tree | e03ff4799f53961e56771836e776060f6f753514 /.github | |
parent | 57e84b576d24f1b80e1701d4759773234b1ee8ba (diff) |
Revert compatibilityLevel bump
Using JAVA_17 is currently broken with the production server and not necessarily indicated by how Mixin treats this field
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions