diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-09-15 09:31:42 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-15 09:31:42 +0200 |
| commit | 3705ad7d8fa00e3992f09359c7f008cdeaa5f56c (patch) | |
| tree | 3b668ca18118b9dc31e2167d26c27297218e8f9b /modules/gridmap/grid_map_editor_plugin.cpp | |
| parent | 0e7beb183ac4b3dbebf83b9ded838f60cc318920 (diff) | |
| parent | abef2b7194d5dd7aac09e3817598dcce86ae2333 (diff) | |
Merge pull request #52123 from lightspot21/fix-placement-new-warning
Silence false-positive warning for malformed placement new on GCC 11.1
Diffstat (limited to 'modules/gridmap/grid_map_editor_plugin.cpp')
0 files changed, 0 insertions, 0 deletions