On Tue, May 19, 2020 at 8:38 PM Kyle Meyer <kyle@kyleam.com> wrote:

Nicolas Goaziou writes:

> At first glance, it looks harmless. If the test suite passes, we can
> apply it.

The test suite does pass with the change. Pushed, along with a
regression test (962b8e765).

Thank you for the debug and quick fix! I confirm the fix.