Skip to content

Don't preserve exp tests as well as filters#990

Open
jasmith-hs wants to merge 2 commits intomasterfrom
preserve-identifiers
Open

Don't preserve exp tests as well as filters#990
jasmith-hs wants to merge 2 commits intomasterfrom
preserve-identifiers

Conversation

@jasmith-hs
Copy link
Contributor

I realised that in #988 I check for filters, but forgot to check exp tests. I also add a test to ensure that they're not needlessly preserved

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