mirror of
https://github.com/php/pftt2.git
synced 2026-03-24 01:02:11 +01:00
[PR #22] Removed deprecated method involving Thread #71
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Original Pull Request: https://github.com/php/pftt2/pull/22
State: closed
Merged: No
There was a part where there seemed to be a type mismatch and it was somehow working previously. However, the change to remove the deprecated method seemed to make the error pop up. Commented it out for the time being and tool still seems to work.