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

Remove redundant policy from CMakeLists.txt #525

Merged
merged 1 commit into from
Jul 29, 2023
Merged

Remove redundant policy from CMakeLists.txt #525

merged 1 commit into from
Jul 29, 2023

Conversation

JulianGro
Copy link
Member

It is already defined through cmake/init.cmake

@JulianGro
Remove redundant policy from CMakeLists.txt
15ef70d 
It is already defined through cmake/init.cmake
@JulianGro JulianGro added the needs CR This pull request needs to be code reviewed label Jul 23, 2023
ksuprynowicz
ksuprynowicz approved these changes Jul 29, 2023
View reviewed changes
Copy link
Member

@ksuprynowicz ksuprynowicz left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Everything looks fine :)

@ksuprynowicz ksuprynowicz added CR approved This pull request has been successfully code reviewed and removed needs CR This pull request needs to be code reviewed labels Jul 29, 2023
@JulianGro JulianGro merged commit 246a2a9 into master Jul 29, 2023
5 of 6 checks passed
@JulianGro JulianGro deleted the JulianGro-patch-1 branch July 29, 2023 18:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ksuprynowicz ksuprynowicz ksuprynowicz approved these changes

Assignees
No one assigned
Labels
CR approved This pull request has been successfully code reviewed
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@JulianGro @ksuprynowicz