| commit | 57438de4bead5656b1abe13d9f217033514e5c04 | [log] [tgz] |
|---|---|---|
| author | Martin Wiesner <mawiesne@users.noreply.github.com> | Sun Jan 29 19:27:05 2023 +0100 |
| committer | GitHub <noreply@github.com> | Sun Jan 29 19:27:05 2023 +0100 |
| tree | 629336adf4349faf1c90c89095de2270de539545 | |
| parent | 6b8bc074af7d88ecc71827ea636990a93ebaaf2c [diff] |
migrate sandbox component 'caseditor-corpus-server-plugin' to Java 11 (#77)