diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-04-10 10:09:12 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-10 10:09:12 +0200 |
commit | 7e93554961a9c098248a7622bda4659d541b8e1b (patch) | |
tree | 04d73056953648f0c60512b5a62868606dc8325c /thirdparty/zstd | |
parent | 0cbcb7a6e6549d82ad04a387e3eed54f08e13e22 (diff) | |
parent | 9369b37f1f7aca843182564b0a12ae20b07721b7 (diff) |
Merge pull request #37744 from madmiraal/fix-X11-device-info-precision-loss
Fix loss of precision in X11 device info.
Diffstat (limited to 'thirdparty/zstd')
0 files changed, 0 insertions, 0 deletions