Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Support as operator #238

Open
Tracked by #9
adrianoc opened this issue Jun 14, 2023 · 0 comments
Open
Tracked by #9

Support as operator #238

adrianoc opened this issue Jun 14, 2023 · 0 comments
Labels
enhancement New feature or request 💗 good first feature a feature that is relatively easy to implement
Milestone
Future

Comments

@adrianoc
Copy link
Owner

adrianoc commented Jun 14, 2023 •
edited
Loading

See generated IL
@adrianoc adrianoc added enhancement New feature or request 💗 good first feature a feature that is relatively easy to implement labels Jun 14, 2023
@adrianoc adrianoc mentioned this issue Jun 14, 2023
Open
100 tasks
@adrianoc adrianoc added this to the Future milestone Jun 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request 💗 good first feature a feature that is relatively easy to implement
Projects
None yet
Milestone
Future
Development

No branches or pull requests
1 participant
@adrianoc