Skip to content

Pid task naming

Darryl Green requested to merge github/fork/credp/PID_task_naming into master

Created by: credp

This is a change I made locally to improve task name/pid lookup times and allow me to plot tasks with just their PID. It isn't quite in mergeable form, but presented here for your consideration :)

Merge request reports