diff --git a/doc/upgrade-1.3.html b/doc/upgrade-1.3.html index 3fb5be2d..51485410 100644 --- a/doc/upgrade-1.3.html +++ b/doc/upgrade-1.3.html @@ -360,7 +360,7 @@ -