diff --git a/doc/upgrade-1.2.html b/doc/upgrade-1.2.html index 88f82a7b..e28d9189 100644 --- a/doc/upgrade-1.2.html +++ b/doc/upgrade-1.2.html @@ -6,9 +6,9 @@