chore(post-release): committing changes produced during the release

RobertFischer · Dec 10, 2020 · 7629c4a · 7629c4a
1 parent 09a3a98
commit 7629c4a
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 43 deletions.
diff --git a/dist/docs.tar.xz b/dist/docs.tar.xz
diff --git a/docs/coverage.txt b/docs/coverage.txt