diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2023-02-17 00:32:06 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-02-17 00:32:06 +0100 |
| commit | 4cc885148cfd826b9eec275d66328f323b6e99a5 (patch) | |
| tree | 6b91a8f4470da3117651efe493ec3cd75eb18c00 /servers | |
| parent | 68807165f40ff6fe6b2b9802f4ce914a0536d62a (diff) | |
| parent | 331dd33009289915619bb1ab7d76d156d951183a (diff) | |
Merge pull request #73459 from rsjtdrjgfuzkfg/theme-crash
Theme Editor: fix crash when editing leading/main-style style boxes
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions