diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-02-26 20:18:49 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-02-26 20:18:49 +0100 |
| commit | ca805744fba0662397ecdcda4e552990a81adfcb (patch) | |
| tree | aee8caa37d0f1f4d4b659e6375c5694562605aeb /modules/webp/config.py | |
| parent | 9c05110ab88c480cd2bac6fd28e87fffb607644a (diff) | |
| parent | 04e51859f0b765207f5c19d7c1043b86aa776931 (diff) | |
Merge pull request #7848 from hpvb/fix-7839
Windows: Close audiodriver sooner on exit
Diffstat (limited to 'modules/webp/config.py')
0 files changed, 0 insertions, 0 deletions