Skip to content

Override existing dummy @return array with more precise one#7362

Merged
TomasVotruba merged 4 commits intomainfrom
tv-cover-dummy-array
Sep 29, 2025
Merged

Override existing dummy @return array with more precise one#7362
TomasVotruba merged 4 commits intomainfrom
tv-cover-dummy-array

Conversation

@TomasVotruba
Copy link
Member

@TomasVotruba TomasVotruba commented Sep 29, 2025

No description provided.

@TomasVotruba TomasVotruba changed the title tv cover dummy array Override existing dummy array Sep 29, 2025
@TomasVotruba TomasVotruba changed the title Override existing dummy array Override existing dummy @return array with more precise one Sep 29, 2025
@github-actions
Copy link
Contributor

github-actions bot commented Mar 1, 2026

This pull request has been automatically locked because it has been closed for 150 days. Please open a new PR if you want to continue the work.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Mar 1, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant