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

Update stern.de ruleset - #18853

Merged
J0WI merged 1 commit into
EFForg:masterfrom
Jochen-A-Fuerbacher:update/stern.de
Feb 9, 2020
Merged

Update stern.de ruleset#18853
J0WI merged 1 commit into
EFForg:masterfrom
Jochen-A-Fuerbacher:update/stern.de

Conversation

@Jochen-A-Fuerbacher

Copy link
Copy Markdown
Contributor

No description provided.

@zoracon zoracon added the top-10k label Feb 4, 2020
@J0WI
J0WI merged commit 7bfce3e into EFForg:master Feb 9, 2020
@Jochen-A-Fuerbacher
Jochen-A-Fuerbacher deleted the update/stern.de branch February 9, 2020 17:32
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants