diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-31 15:55:25 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-31 15:55:25 +0100 |
| commit | 361f3f1721205bf291d401a58e2226e083bb2bc4 (patch) | |
| tree | d75922909fefbf82c3aee5faa133d6dcae972925 /modules/mono | |
| parent | e1648b3327431a09cc9498663fac483275eb711d (diff) | |
| parent | bb9a00889ac9ce6f33adb34a583208e3843c3f92 (diff) | |
Merge pull request #57520 from jordigcs/gd-rename-map
Add hint for identifiers renamed from 3.x to 4.0
Diffstat (limited to 'modules/mono')
0 files changed, 0 insertions, 0 deletions