-
Jehan authored
This allows an extension removal to be cancelable for a given session (at end of session, the extension removal is definitive and you have to reinstall it if you want it back).
09ca1e89
This allows an extension removal to be cancelable for a given session (at end of session, the extension removal is definitive and you have to reinstall it if you want it back).