diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-08-24 09:49:00 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-24 09:49:00 +0200 |
| commit | 854eb58074e2aa25a0f7b65b1833dc2dc51e49a6 (patch) | |
| tree | 8017e01c604c9e0a7b627b40d43ffb0d3496ee80 /modules/gridmap | |
| parent | 792f7cc28c346a06564f6da54520cb02a837f04d (diff) | |
| parent | f02d45ce0c35c9cd98fb4bee8456a97e9e0927ac (diff) | |
Merge pull request #64783 from bruvzg/fix_rtl_min_size
Fix RTL min. size not triggering text cache update.
Diffstat (limited to 'modules/gridmap')
0 files changed, 0 insertions, 0 deletions