Skip to content
Please note that GitHub no longer supports your web browser.

We recommend upgrading to the latest Google Chrome or Firefox.

Learn more

/ aut-docs

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

More DF filter updates. #37

Merged
merged 1 commit into from Jan 13, 2020
Merged

More DF filter updates. #37

merged 1 commit into from Jan 13, 2020

Conversation

@ruebot
Copy link
Member

ruebot commented Jan 13, 2020

@ruebot
More DF filter updates.
Verified
This commit was signed with a verified signature.
ruebot Nick Ruest
GPG key ID: 417FAF1A0E1080CD Learn about signing commits
bb2ef71 
- Addresses #32
- Addresses archivesunleashed/aut#223
- Addresses archivesunleashed/aut#401
- Addresses archivesunleashed/aut#396
- Addresses archivesunleashed/aut#399
@ruebot ruebot requested a review from ianmilligan1 Jan 13, 2020
@ianmilligan1
ianmilligan1 approved these changes Jan 13, 2020
View changes
@ianmilligan1 ianmilligan1 merged commit 8ed292b into master Jan 13, 2020
@ianmilligan1 ianmilligan1 deleted the issue-32-b branch Jan 13, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ianmilligan1 ianmilligan1

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
2 participants
@ruebot @ianmilligan1
You can’t perform that action at this time.