Merge branch 'master' into make_it_mojo

Authored by mpyne on May 10 2020, 7:26 PM.

Description

Merge branch 'master' into make_it_mojo

Merged Changes

CommitAuthorDetailsCommitted
bec2c21cebc6mpyne
ui: Make the summary output logdir clickable in most TTYs. 
May 10