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

Update and rename Distraction.xml to Distraction.gov.xml #13097

Merged
merged 1 commit into from Oct 25, 2017
Merged

Update and rename Distraction.xml to Distraction.gov.xml #13097

merged 1 commit into from Oct 25, 2017

Conversation

cschanaj
Copy link
Collaborator

replace #13096, related #13088

@J0WI J0WI merged commit 770d0d5 into EFForg:master Oct 25, 2017
@cschanaj cschanaj deleted the distraction.gov branch October 25, 2017 22:46
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.

None yet

3 participants