Updates Bash Language server to version 1.7.0. Release Date: Thursday, December 12, 2019 Release Type: Service release (bug fixes only)