Skip to content
This repository has been archived by the owner on Nov 15, 2023. It is now read-only.

Use SpawnNamed to give tasks names #1379

Merged
merged 2 commits into from
Jul 8, 2020
Merged

Use SpawnNamed to give tasks names #1379

merged 2 commits into from
Jul 8, 2020

Commits on Jul 8, 2020

  1. Use SpawnNamed to give tasks names

    @bkchr
    bkchr committed Jul 8, 2020
    Configuration menu
    Copy the full SHA
    72c47ea View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into bkchr-spawn-named

    @bkchr
    bkchr committed Jul 8, 2020
    Configuration menu
    Copy the full SHA
    c910c8a View commit details
    Browse the repository at this point in the history