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.

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

Remove unnecessary Makefiles from in-tree extensions #1271

Closed
jakolehm opened this issue Nov 9, 2020 · 1 comment · Fixed by #1312
Closed

Remove unnecessary Makefiles from in-tree extensions #1271

jakolehm opened this issue Nov 9, 2020 · 1 comment · Fixed by #1312
Assignees
Labels
area/extension Something to related to the extension api chore
Milestone

Comments

@jakolehm
Copy link
Contributor

jakolehm commented Nov 9, 2020

No description provided.

@jakolehm jakolehm added chore area/extension Something to related to the extension api labels Nov 9, 2020
@jakolehm jakolehm added this to the 4.0.0 milestone Nov 9, 2020
@Nokel81 Nokel81 self-assigned this Nov 9, 2020
@Nokel81
Copy link
Collaborator

Nokel81 commented Nov 9, 2020

I am considering this issue blocked on merging #1245 so that as to not duplicate some work.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/extension Something to related to the extension api chore
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants