diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2018-05-07 16:49:53 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-05-07 16:49:53 +0200 |
commit | 6c8b00e47334f60f200256d45a5542fa80ce4b12 (patch) | |
tree | 1fc510b22c1018e714e38720dc99317fc952c105 /lib | |
parent | d3f8467c63ae94c28c3939408c4c56446760dd65 (diff) | |
parent | 7036bac7455c5bf6b9cea17dd002431fadd0eba6 (diff) |
Merge PR #7347: Fix for #7081 (Windows lablgtk) and #7083 (Windows logging)
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions