diff options
| author |  Christian Hesse <mail@eworm.de> | 2021-03-04 12:06:47 +0100 |
|---|---|---|
| committer | Christian Hesse <mail@eworm.de> | 2021-03-04 12:13:20 +0100 |
| commit | d1741c99fe7dc803a9597e05b8b97a14843cb412 (patch) | |
| tree | 90b273c6bceb5a4825e3849968979d4794104b71 /super-mario-theme | |
| parent | 9ab20bb92700339977e3920890500f67d81152dd (diff) | |
global-functions: $ScriptInstallUpdate: run migration unconditionally
We want the migration to run even if the notification is disabled.
Diffstat (limited to 'super-mario-theme')
0 files changed, 0 insertions, 0 deletions