Skip to content

Conversation

brthor
Copy link
Owner

@brthor brthor commented Jun 26, 2019

Convert the TaskKey to be a TaskKey object.

Purpose of this change is to give better specification to the difference between a TaskKey and a task name.

@brthor brthor force-pushed the brthor/TaskKeys branch from cabdef6 to a5a8d18 Compare June 26, 2019 17:59
@brthor brthor closed this Jun 26, 2019
@brthor brthor reopened this Jun 26, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant