Merge pull request #42 from rust-lang/fix-dupe-report

remove duplicate progress report
rust-lang · Jan 24, 2024 · d22fd02 · d22fd02
2 parents c9e7333 + 04a66d1
commit d22fd02
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 91 deletions.
diff --git a/SUMMARY.md b/SUMMARY.md
@@ -12,7 +12,6 @@
     - [Effect as a clause](./evaluation/syntax/effect-as-a-clause.md)
     - [Postfix question mark](./evaluation/syntax/postfix-question-mark.md)
     - [Where effect bounds](./evaluation/syntax/where-effect-bounds.md)
-  - [Progress report feb 2023](./evaluation/progress-report-feb-2023.md)
 - [📚 Explainer](./explainer/README.md)
   - [Effect Generic Trait Declarations](./explainer/effect-generic-trait-declarations.md)
 - [📦 Archive](./archive/README.md)

diff --git a/evaluation/progress-report-feb-2023.md b/evaluation/progress-report-feb-2023.md