Fix 3.15 release date

This commit is contained in:
Dirk Baeumer 2020-04-06 10:17:42 +02:00
parent c4f651eb1e
commit 0e315c32f3

View file

@ -5639,7 +5639,7 @@ Language servers usually run in a separate process and client communicate with t
### <a href="#changeLog" name="changeLog" class="anchor">Change Log</a>
#### <a href="#version_3_15_0" name="version_3_15_0" class="anchor">3.15.0 (09/19/2019)</a>
#### <a href="#version_3_15_0" name="version_3_15_0" class="anchor">3.15.0 (01/14/2020)</a>
* Add generic progress reporting support.
* Add specific work done progress reporting support to requests where applicable.