Skip to content

[pull] master from EFForg:master#577

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

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

Conversation

@pull
Copy link
Copy Markdown

@pull pull bot commented Apr 15, 2020

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