Revision ad1ab177543b3e795360674fba70c81613c20a62

Committed on 21/02/2022 5:56 am by Edi Modrić <[email protected]> [GitHub Diff]

Remove obsolete ignore from PHPSTan