diff options
author | Juan Linietsky <reduzio@gmail.com> | 2019-01-18 12:32:30 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-01-18 12:32:30 -0300 |
commit | e3ef52a270d5c778244768bf18eeb5ede89cf0ed (patch) | |
tree | 560c293750dd98451ed933b86e2ad2a95ece21fb /misc/dist/document_icons/resource_small.svg | |
parent | 7ae4cb7f7dc9913f6b1c7e9c9ff90a481ce93ba7 (diff) | |
parent | 6793908a3f243c846c516f9b0c4a05d1a6dedd25 (diff) |
Merge pull request #25101 from hpvb/fix-19633
Work around a GCC optimizer bug at -O3
Diffstat (limited to 'misc/dist/document_icons/resource_small.svg')
0 files changed, 0 insertions, 0 deletions