diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-08-26 10:37:44 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-26 10:37:44 +0200 |
| commit | 7bb92bc04059c32c38098b0ccf662f5a610e0380 (patch) | |
| tree | 3ede59dea8948106c300a8becdea963474742ce4 /doc/tools | |
| parent | 9f48db16c26319f87defa4221c4318494bc6dda0 (diff) | |
| parent | 74eb2a70bd7ab881776b30fb34bf98d03651bf52 (diff) | |
Merge pull request #62845 from AaronRecord/dont_update_theme_outside_of_tree
Refactor and remove excessive calls of `NOTIFICATION_THEME_CHANGED`
Diffstat (limited to 'doc/tools')
0 files changed, 0 insertions, 0 deletions