This repository has been archived by the owner on May 8, 2019. It is now read-only.
Improved efficiency and robustness
This release introduces several internal efficiency and robustness improvements and does not change exported APIs.