November 2019 - 1.518 Release Notes

LeanData November 2019 (1.518) release notes: new features, enhancements, and fixes.