Skip to content

ADR: Which Java version do we use?#91

Merged
delvh merged 1 commit intomainfrom
documentation/java-version-adr
Jul 25, 2022
Merged

ADR: Which Java version do we use?#91
delvh merged 1 commit intomainfrom
documentation/java-version-adr

Conversation

@delvh
Copy link
Contributor

@delvh delvh commented Jul 22, 2022

No description provided.

@delvh delvh added the ADR This PR adds/ modifies an ADR label Jul 22, 2022
@delvh delvh self-assigned this Jul 22, 2022
@delvh delvh merged commit a72009e into main Jul 25, 2022
@delvh delvh deleted the documentation/java-version-adr branch July 25, 2022 10:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ADR This PR adds/ modifies an ADR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

7 participants