deploy: Use .exe
extension for release binaries
#723
Merged
.exe
extension for release binaries
#723