Skip to content

Clarify what a task is - #52610

Merged
bors merged 1 commit into
rust-lang:masterfrom
MajorBreakfast:task-terminology
Jul 26, 2018
Merged

bors merged 1 commit into
rust-lang:masterfrom
MajorBreakfast:task-terminology

Commits

  1. Commits on Jul 25, 2018