Released: 12/3/2018

This release includes several bug fixes and internal improvements; no design changes or additional functionality is included.