Skip to content

Profiler: Profiles cleanup as of 6.3 #17631

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

Merged
merged 1 commit into from
Dec 30, 2022

Conversation

fabpot
Copy link
Member

@fabpot fabpot commented Dec 30, 2022

Closes #17579

@carsonbot carsonbot added this to the 6.3 milestone Dec 30, 2022
@fabpot fabpot force-pushed the 6.3-profiles-cleanup branch from 0ca752c to 288f41f Compare December 30, 2022 07:19
@fabpot fabpot force-pushed the 6.3-profiles-cleanup branch from 288f41f to dc1ed0b Compare December 30, 2022 07:19
@javiereguiluz
Copy link
Member

A very nice little feature! Thanks @alamirault and thanks Fabien for updating the docs.

@javiereguiluz javiereguiluz merged commit 11fc9f7 into symfony:6.3 Dec 30, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants