RFR: 8122: Fix typos

Marcus Hirt hirt at openjdk.org
Fri Oct 6 23:19:39 UTC 2023


On Mon, 2 Oct 2023 19:43:05 GMT, Christoph Dreis <duke at openjdk.org> wrote:

> Hi,
> 
> this PR fixes a couple of typos inside comments mostly.
> 
> I'd appreciate if this is sponsored and a ticket is created. Let me know when you need something.
> 
> Cheers,
> Christoph

Hi @dreis2211 - time to /integrate. :)

-------------

PR Comment: https://git.openjdk.org/jmc/pull/517#issuecomment-1751481345


More information about the jmc-dev mailing list