Merge pull request #3237 from kgaillot/best-practices
Use "scheduler" terminology instead of "data set" or "working set"
Merge pull request #3237 from kgaillot/best-practices
Tags None Referenced Files None Subscribers None
Description Merge pull request #3237 from kgaillot/best-practices Use "scheduler" terminology instead of "data set" or "working set"
Details
Event TimelineGitHub <noreply@github.com> committed rP5abc667b5e07: Merge pull request #3237 from kgaillot/best-practices (authored by kgaillot).Oct 17 2023, 10:11 AM2023-10-17 10:11:46 (UTC-4)
Merged Changes
|