gnu: Respect the pattern docstring about state initialization
Any extra state initialization (outside the scheduler scope) is to happen in the
get_pages method.
Description
Description
Details
Details
- Provenance
ardumont Authored on Sep 21 2021, 10:25 AM ardumont Pushed on Sep 21 2021, 11:23 AM - Differential Revision
- D6313: gnu: Respect the pattern docstring about extra state initialization
- Parents
- rDLS332ed8e54309: opam: Allow defining where to actually install the opam_root folder
- Branches
- Unknown
- Tags
- References
- tag: v1.9.0
- Build Status
Buildable 23858 Build 37206: test-and-build Jenkins console · Jenkins