Arduino released version 1.8.8 this morning.

Working on a Teensyduino update for it. Should have a beta installer available later today.