Revision ad1ab177543b3e795360674fba70c81613c20a62

Committed on 21/02/2022 5:56 am by Edi Modrić <edi.modric@gmail.com> [GitHub Diff]

Remove obsolete ignore from PHPSTan