Skip to content
This repository was archived by the owner on Feb 26, 2021. It is now read-only.

Comments

Use getServeritiesAndHigherServerities#133

Merged
J12934 merged 1 commit intomasterfrom
fix/receiveNonHandledFindings
Jan 6, 2020
Merged

Use getServeritiesAndHigherServerities#133
J12934 merged 1 commit intomasterfrom
fix/receiveNonHandledFindings

Conversation

@wurstbrot
Copy link
Contributor

No description provided.

@J12934 J12934 merged commit 4b7ae3f into master Jan 6, 2020
@J12934 J12934 deleted the fix/receiveNonHandledFindings branch January 6, 2020 14: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.

2 participants