You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
ABI breaks are not supposed to happen after feature freeze, i.e. when
the PHP API numbers have been bumped. To make it easier to notice
inadvertent ABI breaks, we automatically add an "ABI break" label to
all PRs which modify public (aka. installed) header files.
And I would consider arginfo to qualify as non-public header files
The text was updated successfully, but these errors were encountered:
Description
Any objections? From the initial #15682
And I would consider arginfo to qualify as non-public header files
The text was updated successfully, but these errors were encountered: