Skip to content
Commit 5d92b45f authored by Jesse Glick's avatar Jesse Glick
Browse files

Run.toString() should use internal, not display names, since it may be used in logging. 

UI elements should explicitly ask for .fullDisplayName.
parent 6fd01db4
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment