Skip to content

Conversation

@omar25h
Copy link

@omar25h omar25h commented Jul 19, 2022

No description provided.

@themkat
Copy link
Collaborator

themkat commented Jul 27, 2022

@fwcd, this would be really useful to get merged 🙂 Some interfaces have changed between the versions, at least for type hierarchy. Updating now would avoid issues and unnecessary changes if someone implemented older version of the interfaces (e.g, type hierarchy was 1(or was it 2?) method in the older version, but is 3 now).

@fwcd
Copy link
Owner

fwcd commented Aug 4, 2022

Lgtm, thanks!

@fwcd fwcd merged commit 39cd23e into fwcd:main Aug 4, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants