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
{{ message }}
Repository navigation
Point out that new stdlib modules need to be added to Makefile.pre.in #909
The instructions for adding a new module to stdlib currently focus on what can be added rather than how to add something, so adding a “checklist step” might need some restructuring first.
Activity
ezio-melotti commentedon Jun 27, 2022
Can we also detect this programmatically (e.g. in
make patchcheck) in addition to documenting it?