diff --git a/CHANGES.html b/CHANGES.html index ff7f199285..c4a21fd11d 100644 --- a/CHANGES.html +++ b/CHANGES.html @@ -119,3 +119,6 @@ write1 ( char -- ) + +