chore: Revert accidental pushes to main (#10769)

This reverts two commits that I've just pushed to main instead of
`move-repository-trait-into-git`. Mea culpa.
Release Notes:

- N/A
This commit is contained in:
Piotr Osiewicz 2024-04-19 10:56:29 +02:00 committed by GitHub
parent 54699e39e7
commit 8513a24dd8
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 0 additions and 6 deletions

View file

@ -24,9 +24,6 @@ text.workspace = true
time.workspace = true
url.workspace = true
serde.workspace = true
rope.workspace = true
util.workspace = true
parking_lot.workspace = true
windows.workspace = true
[dev-dependencies]