-
John Stowers authored
This has the effect of preventing multiple infobars offering to restart the shell after enabling/disabling extensions.
2d93b465
This has the effect of preventing multiple infobars offering to restart the shell after enabling/disabling extensions.