On Mon, Dec 4, 2023 at 3:42 AM Richard Guo <guofenglinux@gmail.com> wrote: > Then here is a trivial patch to adjust the comment, which should get > reverted along with 867be9c07.
Richard, since you're a committer now, maybe you'd like to commit this. I don't really understand the portion of your commit message inside the parentheses and would suggest that you just delete that, but the rest seems fine.