diff options
| author | Emilio Jesus Gallego Arias | 2020-05-29 12:20:03 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-05-29 12:20:03 +0200 |
| commit | d75b889948fbfd5600d505ab823a0e6da2195af6 (patch) | |
| tree | 85b5c543e8b5ab1c0cb87227d605725d8ebec36b /tools | |
| parent | 7c21e568501b16cc99ecd79afd9e26a912b89ca5 (diff) | |
| parent | 19c8ac834c4f43b1fd0c49aad286a4e5bebf0ce5 (diff) | |
Merge PR #12421: Fixes for compilation without native dynlink
Reviewed-by: ejgallego
Reviewed-by: ppedrot
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions