On Thu, Jul 18, 2024 at 11:08 AM Richard Guo <guofengli...@gmail.com> wrote: > On Thu, Jul 18, 2024 at 10:02 AM Richard Guo <guofengli...@gmail.com> wrote: > > I noticed this while reviewing patch [1], thinking that it might be > > worth fixing. Any thoughts? > > Here is the patch.
This patch is quite straightforward to remove the redundant code. So I've gone ahead and pushed it. Thanks Richard
