diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-08-28 12:54:20 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-28 12:54:20 +0200 |
| commit | a5e44cd262e656b85e916ab2e316dd3b82bdf70d (patch) | |
| tree | 148d85b02595d2a1273b6c1669f6d8af0d83d111 /editor/icons/icon_GUI_tab_menu.svg | |
| parent | 0dd162a936b558d2f231143164c734aeb6b72a10 (diff) | |
| parent | 97757cd1d1b6b3702a47c6f28c200010cee335e4 (diff) | |
Merge pull request #21526 from Faless/tcp_ip_fixes
Fix DNS resolution when cache is invalid.
Diffstat (limited to 'editor/icons/icon_GUI_tab_menu.svg')
0 files changed, 0 insertions, 0 deletions