Skip to content

Dropped deprecated DocComment methods#7278

Merged
weirdan merged 2 commits intovimeo:masterfrom
weirdan:drop-deprecated-doccomment-methods
Jan 3, 2022
Merged

Dropped deprecated DocComment methods#7278
weirdan merged 2 commits intovimeo:masterfrom
weirdan:drop-deprecated-doccomment-methods

Conversation

@weirdan
Copy link
Copy Markdown
Collaborator

@weirdan weirdan commented Jan 3, 2022

No description provided.

@weirdan weirdan added this to the Psalm 5 milestone Jan 3, 2022
@weirdan weirdan requested a review from orklah January 3, 2022 18:04
@weirdan weirdan added the release:removed The PR will be included in 'Removed' section of the release notes label Jan 3, 2022
@weirdan weirdan merged commit 21fc7a7 into vimeo:master Jan 3, 2022
@weirdan weirdan deleted the drop-deprecated-doccomment-methods branch January 3, 2022 18:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release:removed The PR will be included in 'Removed' section of the release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant