On Fri, 10 Mar 2023 17:07:53 GMT, Justin King <jck...@openjdk.org> wrote:
> FYI HarfBuzz most recent is 7.1.0 as of last week. Might make sense to just > bite the bullet as it were and to 7.1.0 instead of 7.0.1. We already switched once from 7.0 to 7.0.1. By the time we've got 7.1 in review, there might be a 7.2 .. I think it best to finish this big upgrade which is 99% done rather than starting over with an even bigger upgrade. Going from 7.0.1 to (eg) 7.1 or a hypothetical 7.2 will then be easier. ------------- PR: https://git.openjdk.org/jdk/pull/12913
