happy-kitchen-89482
11/13/2019, 6:46 PM--v2-ui set, in case that matters)aloof-angle-91616
11/13/2019, 7:06 PMaloof-angle-91616
11/13/2019, 7:07 PMhundreds-breakfast-49010
11/13/2019, 7:08 PMrun goal, but it's possible that my code that deliberately suppresses ctrl-c in the run goal is somehow getting executed when it shouldn't behundreds-breakfast-49010
11/13/2019, 7:08 PMhundreds-breakfast-49010
11/13/2019, 7:08 PMaloof-angle-91616
11/13/2019, 7:11 PMaloof-angle-91616
11/13/2019, 7:11 PMhappy-kitchen-89482
11/13/2019, 7:25 PMhappy-kitchen-89482
11/13/2019, 7:25 PMrun goal.aloof-angle-91616
11/13/2019, 7:26 PMrun goal i think would apply herealoof-angle-91616
11/13/2019, 7:26 PM