diff --git a/Installation/changes.html b/Installation/changes.html index fbf582e011a..6dc57aba4da 100644 --- a/Installation/changes.html +++ b/Installation/changes.html @@ -136,6 +136,14 @@ to remove once 4.7 is published: --> +