Skip to content

Fix setting editor with symbol - #492

Merged
RobinDaugherty merged 1 commit into
BetterErrors:masterfrom
srachner:fix-setting-editor-with-symbol
Nov 5, 2020
Merged

RobinDaugherty merged 1 commit into
BetterErrors:masterfrom
srachner:fix-setting-editor-with-symbol

Fix setting editor with symbol

1f65a70
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs