Skip to content

Conversation

@dridi
Copy link
Member

@dridi dridi commented Feb 13, 2025

My personal take on #4269.

nigoroll pushed a commit that referenced this pull request Feb 13, 2025
committer edit: Updated Flexelint silencing

Picked from #4271
@dridi
Copy link
Member Author

dridi commented Feb 14, 2025

The goal was to serve as material for the discussion in #4269. No longer needed.

@dridi dridi closed this Feb 14, 2025
@dridi dridi deleted the req_ocstash branch February 14, 2025 14:47
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