Skip to content

Fix refresh#84

Merged
japaric merged 1 commit into
rust-lang:editorfrom
vojtechkral:fix-refresh
Jun 6, 2014
Merged

Fix refresh#84
japaric merged 1 commit into
rust-lang:editorfrom
vojtechkral:fix-refresh

Fix: editor reinitialization upon navigation

49e04f7
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs