On Fri, 19 Mar 2021 22:45:35 GMT, David Holmes <dholmes at openjdk.org> wrote: > Looks good and trivial. > > I just hope we don't find sem_destroy has been silently failing :) > > Thanks, > David Thanks David! I hope so too. ------------- PR: https://git.openjdk.java.net/jdk/pull/3089