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

Make extensions part plugin aware #4255

Closed
mr-cal opened this issue Jul 3, 2023 · 1 comment
Closed

Make extensions part plugin aware #4255

mr-cal opened this issue Jul 3, 2023 · 1 comment
Assignees
@sergiusens
Labels
enhancement New features or optimizations

Comments

@mr-cal
Copy link
Collaborator

mr-cal commented Jul 3, 2023

What needs to get done

Extensions need a mechanism to apply only to certain parts.

Why it needs to get done

This is needed for the ROS team.
@mr-cal mr-cal added the enhancement New features or optimizations label Jul 3, 2023
@sergiusens sergiusens self-assigned this Jul 12, 2023
@sergiusens
Copy link
Collaborator

This was fixed in #4271

@sergiusens sergiusens mentioned this issue Jul 12, 2023
Merged
4 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@sergiusens sergiusens

Labels
enhancement New features or optimizations
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@sergiusens @mr-cal