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

Update jenkins.io ruleset - #18178

Merged
J0WI merged 2 commits into
EFForg:masterfrom
Jochen-A-Fuerbacher:update/jenkins.io
Jul 11, 2019
Merged

Update jenkins.io ruleset#18178
J0WI merged 2 commits into
EFForg:masterfrom
Jochen-A-Fuerbacher:update/jenkins.io

Conversation

@Jochen-A-Fuerbacher

Copy link
Copy Markdown
Contributor

No description provided.

Comment thread src/chrome/content/rules/jenkins.io.xml
@J0WI
J0WI merged commit a4e91ec into EFForg:master Jul 11, 2019
@J0WI

J0WI commented Jul 11, 2019

Copy link
Copy Markdown
Contributor

Thanks!

@Jochen-A-Fuerbacher
Jochen-A-Fuerbacher deleted the update/jenkins.io branch July 11, 2019 17:23
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