diff --git a/doc/v2/progress_reports.html b/doc/v2/progress_reports.html index 5ba72b94..684fb254 100644 --- a/doc/v2/progress_reports.html +++ b/doc/v2/progress_reports.html @@ -30,7 +30,7 @@ design decisions and links to relevant discussions.
Revised