Skip to content
This repository was archived by the owner on Nov 1, 2023. It is now read-only.
This repository was archived by the owner on Nov 1, 2023. It is now read-only.

Rename existing coverage crate #2684

@ranweiler

Description

@ranweiler

Rename the existing coverage crate to make room for a rewrite that will otherwise have unreviewable diffs.

AB#42551318

Metadata

Metadata

Assignees

Labels

enhancementNew feature or request

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions