On Thu, 20 Jul 2023 03:03:52 GMT, David Alayachew <duke at openjdk.org> wrote: > Update pattern-matching-for-java.md No problem - let's try again :-) ------------- PR Comment: https://git.openjdk.org/amber-docs/pull/21#issuecomment-1645554973