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
The contents of the custom patches applied by this script have become
outdated as an effect of two things:
- Automated indentation with ec1d8d6.
- Hint state initialization, with 785023c.
While the indentation had no problems, missing the initialization would
lead immediately to a crash. update_copied_funcs.pl is updated so as
applying the custom patches leads to no indent diffs, protecting the
current code.
Backpatch-through: 18
0 commit comments