If you're referring to my erroneous comment on @Skif-off's PR recently, it was just me reading the diff the wrong way around and thinking he was removing the space instead of adding it.

Yes, I am referring to it. I thought there was a little pitfall but it isn't as you explained. I changed the text according to your review. But I would also be fine with closing the PR if you think it's to trivial.

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