Skip to content
This repository has been archived by the owner on Jul 16, 2024. It is now read-only.

Filter all supers' binding type arguments #368

Merged
merged 4 commits into from
Mar 30, 2023
Merged

Filter all supers' binding type arguments #368

merged 4 commits into from
Mar 30, 2023

Conversation

Goooler
Copy link
Owner

@Goooler Goooler commented Mar 29, 2023

@Goooler Goooler added the enhancement New feature or request label Mar 29, 2023
@Goooler Goooler added this to the 1.8.0 milestone Mar 29, 2023
@Goooler Goooler marked this pull request as ready for review March 30, 2023 04:08
@Goooler Goooler changed the title Filter all binding type arguments Filter all supers' binding type arguments Mar 30, 2023
@Goooler Goooler enabled auto-merge (squash) March 30, 2023 04:10
@Goooler Goooler merged commit 90cb05d into trunk Mar 30, 2023
@Goooler Goooler deleted the refine_binding branch March 30, 2023 04:12
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant