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