Re: [PATCH 14/19] rust: provide proper code documentation titles

Miguel Ojeda
2024-10-03T18:44:45Z

On Sun, Sep 29, 2024 at 6:56 AM Trevor Gross <tmgross@umich.edu> wrote:
>
> I think some words got flipped around, should this say something like
> "...a couple private cases we had in case checking..."?

Nice catch, fixed in the version I am will apply -- thanks!

Cheers,
Miguel