Skip to content

Conversation

@IshaanDesai
Copy link
Member

@IshaanDesai IshaanDesai commented Feb 6, 2024

Title is self-explanatory.

@IshaanDesai IshaanDesai self-assigned this Feb 6, 2024
@BenjaminRodenberg
Copy link
Member

Why is this PR a draft?

@IshaanDesai
Copy link
Member Author

Why is this PR a draft?

No particular reason. This is something that we should do soon anyway. I will look into it again.

@BenjaminRodenberg
Copy link
Member

@IshaanDesai do you want to look into this PR before the v3.2.0 release? Feel free to add the milestone if yes to make sure we do not miss it.

@IshaanDesai
Copy link
Member Author

@IshaanDesai do you want to look into this PR before the v3.2.0 release? Feel free to add the milestone if yes to make sure we do not miss it.

Yes I'll have a look, it would make sense to have this in the upcoming release as it is long overdue.

@IshaanDesai IshaanDesai added this to the v3.2.0 milestone Mar 16, 2025
@IshaanDesai IshaanDesai marked this pull request as ready for review March 16, 2025 18:55
Copy link
Member

@BenjaminRodenberg BenjaminRodenberg left a comment

Choose a reason for hiding this comment

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

Looks good 👍

@IshaanDesai IshaanDesai merged commit bda82db into develop Mar 17, 2025
14 checks passed
@IshaanDesai IshaanDesai deleted the use-new-header branch March 17, 2025 12:41
@IshaanDesai IshaanDesai mentioned this pull request Apr 2, 2025
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.

3 participants