Skip to content
This repository was archived by the owner on Nov 20, 2024. It is now read-only.

tag incompatible type rules #1968

Merged
merged 1 commit into from
Jan 15, 2020
Merged

tag incompatible type rules #1968

merged 1 commit into from
Jan 15, 2020

Conversation

pq
Copy link
Contributor

@pq pq commented Jan 15, 2020

@pq pq merged commit 80aabe5 into master Jan 15, 2020
@pq pq deleted the flag_incomp_type_rules branch January 15, 2020 17:52
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Development

Successfully merging this pull request may close these issues.

3 participants