Separate names with a comma.
Discussion in 'Known Issues' started by Pear78, May 13, 2019.
noticed that these symbols are not properly aligned any more.