Skip to content

Delete unused include_lib attributes#4366

Merged
jaydoane merged 1 commit intomainfrom
unused-includes
Jan 12, 2023
Merged

Delete unused include_lib attributes#4366
jaydoane merged 1 commit intomainfrom
unused-includes

Conversation

@jaydoane
Copy link
Contributor

Overview

Thanks, LSP!

Testing recommendations

Related Issues or Pull Requests

Checklist

  • Code is written and works correctly
  • Changes are covered by tests
  • Any new configurable parameters are documented in rel/overlay/etc/default.ini
  • Documentation changes were made in the src/docs folder
  • Documentation changes were backported (separated PR) to affected branches

@jaydoane jaydoane marked this pull request as ready for review January 11, 2023 22:09
@jaydoane jaydoane merged commit 01c161b into main Jan 12, 2023
@jaydoane jaydoane deleted the unused-includes branch January 12, 2023 00:36
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.

2 participants