diff options
author | Vincent Ambo <mail@tazj.in> | 2022-06-11T16·23+0000 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2022-06-11T16·26+0000 |
commit | f08383bd66281ff224e961a9411518175ef6eab0 (patch) | |
tree | fb736ebde621b2eadf42e71def33c965b3259a26 /src/Xanthous/Game/Arbitrary.hs | |
parent | 2caa50c9bd0f9fad3194c8c1c2653805b038bd0f (diff) |
fix(tazjin/zamalek): Stop NetworkManager meddling with DNS settings r/4233
Change-Id: I3a00d23a604aa56f7a566a1caac0314cad90deff Reviewed-on: https://cl.tvl.fyi/c/depot/+/5863 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
Diffstat (limited to 'src/Xanthous/Game/Arbitrary.hs')
0 files changed, 0 insertions, 0 deletions