Fix woops

dafny-lang · Dec 15, 2023 · d872744 · d872744
1 parent 4e84fc5
commit d872744
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/docs/dev/news/3818.fix → docs/dev/news/3818.feat b/docs/dev/news/3818.fix → docs/dev/news/3818.feat
diff --git a/docs/dev/news/4875.feat → docs/dev/news/4875.fix b/docs/dev/news/4875.feat → docs/dev/news/4875.fix