PR #2358 Redesign: ignore any unknown tags

Redesign: ignore any unknown tags #2358

bwindels merged 2 commits into experimental from bwindels/ignorecustomtags

ignore any unknown tags

4fffb55c

bwindels requested a review 7 years ago

update comment as well

532fb6ea

jryans approved these changes on 2018-12-17

bwindels merged bdbf6f86 into experimental 7 years ago

Reviewers

jryans

Assignees

No one assigned

Labels

None yet

Milestone

No milestone