Skip to content

Revert "Resolve deprecated tag also from parents"#1022

Closed
ossinkine wants to merge 1 commit intophpstan:masterfrom
ossinkine:revert-792
Closed

Revert "Resolve deprecated tag also from parents"#1022
ossinkine wants to merge 1 commit intophpstan:masterfrom
ossinkine:revert-792

Commits

Commits on Feb 18, 2022