mirror of
https://github.com/morgan9e/FreeRDP
synced 2026-04-15 08:54:38 +09:00
Since redirection sometimes happens with internal DNS names that are resolved different by outside DNS it must be possible to override the preferred redirection hint.