0.7.3

Tyriar released this 11 Nov 22:13

e9c7908

Bug fixes

Fix a winpty native exception that could sometimes occur when calling Terminal.kill on Windows #160 via @Tyriar
Swallow a safe to ignore JS exception that could occur when calling Terminal.kill on Windows #160 via @Tyriar

Documentation

New real-world use: "Theia" #157 via @svenefftinge

Assets 2