Merge pull request #885 from coq-community/changelog

docs: update change log

Author: rtetley

client/CHANGELOG.md

@@ -1,9 +1,3 @@
 # Change Log
 
-All notable changes to the "vscoq" extension will be documented in this file.
-
-Check [Keep a Changelog](http://keepachangelog.com/) for recommendations on how to structure this file.
-
-## [Unreleased]
-
-- Initial release
+Please see https://github.com/coq-community/vscoq/releases for the latest release notes.