Windows doesn't require the .exe suffix to successfully run the program.

Maybe it's interesting in case there is more than one possibility (like same basename with both bat and .exe extensions?), I have no idea what happens there.
But well, if there's a reason to do so, why not.

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