Skip to content
This repository has been archived by the owner on Nov 19, 2024. It is now read-only.

Improved dropped coverage message #152

Merged
merged 1 commit into from
Apr 16, 2020
Merged

Conversation

thatsIch
Copy link
Contributor

No description provided.

@tempora-mutantur
Copy link
Collaborator

Thank you

@cizezsy FYI

@tempora-mutantur tempora-mutantur merged commit c421ec9 into jenkinsci:dev Apr 16, 2020
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants