The only problem I have (which is not caused by these changes) is that "Build" is rather overused

True, I suppose the build/compile commands and the run commands could collectively be called spawn commands. Not sure whether to do this though.

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