Skip to content

[pull] master from EFForg:master - #577

Merged
pull[bot] merged 1 commit into
CmF1472:masterfrom
EFForg:master
Apr 15, 2020
Merged

[pull] master from EFForg:master#577
pull[bot] merged 1 commit into
CmF1472:masterfrom
EFForg:master

Conversation

@pull

@pull pull Bot commented Apr 15, 2020

Copy link
Copy Markdown

See Commits and Changes for more details.


Created by pull[bot]. Want to support this open source service? Please star it : )

* https_everywhere_checker: Fix regex syntax

Fixes #18985

* check_rules.py: Fix unclosed files

Fixes #18986
@pull pull Bot added the ⤵️ pull label Apr 15, 2020
@pull
pull Bot merged commit c1e138b into CmF1472:master Apr 15, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant