I see.

I seem to have commit in my dev tree that removes that line inadvertently. The line reinstating it shouldn't have been present in PR

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.