diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2016-07-09 12:12:03 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2016-07-09 12:12:03 -0300 |
| commit | b0f0ae072367b061e4ff59b17b920f2d67b41e3a (patch) | |
| tree | 4b5af473b138bbbe48f5b4d777b393aa7216f157 /platform | |
| parent | 90f8a3bd29d9119fb4e34ec738df7583a41e7ea5 (diff) | |
Finally fixes the infamous bug #4444, hoping to never see you again.
Closes #4444.
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions