Skip to content
This repository has been archived by the owner on Jun 17, 2021. It is now read-only.

Replacing gitter badge #273

Merged
merged 1 commit into from
Aug 31, 2020
Merged

Replacing gitter badge #273

merged 1 commit into from
Aug 31, 2020

Conversation

evertonfraga
Copy link
Contributor

No description provided.

@coveralls
Copy link

coveralls commented Aug 29, 2020

Coverage Status

Coverage remained the same at 99.736% when pulling 885ff5e on discord-badge into 42909e7 on master.

@holgerd77 holgerd77 merged commit cca0575 into master Aug 31, 2020
@holgerd77 holgerd77 deleted the discord-badge branch August 31, 2020 12:43
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants