Github Bot Poster of Commits Oct 14, 2021 #1 Language Server - revert now-unnecessary fix (#120) * revert now-unnecessary change View on Github