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

Update types.ts #426

Closed
wants to merge 1 commit into from
Closed

Update types.ts #426

wants to merge 1 commit into from

Conversation

aliksend
Copy link

Fixes #335

@Cheunn-Panaa
Copy link

This PR is a duplicate of #411

@aliksend
Copy link
Author

@Cheunn-Panaa unfortenately both aren't merged yet

@aliksend aliksend closed this Dec 11, 2023
@Cheunn-Panaa
Copy link

@aliksend Yep.
Patching it is the way we managed to properly use it for now.
I hope we can get some news in the near future...

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Compilation fails with v1.2.0
2 participants