Closed Aug 16, 2018 100% complete

This release will bring a rewrite of the keyboard & mouse selection code for nicer and more correct selection behavior, and take care of some housekeeping chores (update tools and Swift language version).


This milestone is closed.

No open issues remain. View closed issues or see open milestones in this repository.