Skip to content

Delete rule perf#1424

Merged
kof merged 3 commits intomasterfrom
delete-rule-perf
Nov 13, 2020
Merged

Delete rule perf#1424
kof merged 3 commits intomasterfrom
delete-rule-perf

Conversation

@kof
Copy link
Copy Markdown
Member

@kof kof commented Nov 13, 2020

Corresponding issue (if exists):

#1405

@kof kof requested a review from HenriBeck as a code owner November 13, 2020 13:59
@kof kof removed the request for review from HenriBeck November 13, 2020 13:59
@kof kof self-assigned this Nov 13, 2020
@kof kof merged commit 47daec4 into master Nov 13, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant