Path: ...!weretis.net!feeder8.news.weretis.net!news.mixmin.net!aioe.org!Pd8hlWS7AmxgyJ3FWHbKsQ.user.46.165.242.91.POSTED!not-for-mail
From: JUPITER <moi@invalid.org>
Newsgroups: fr.comp.os.android
Subject: Changer le DNS sur Android 5.1
Date: Thu, 21 Apr 2022 13:06:48 -0000 (UTC)
Organization: Aioe.org NNTP Server
Message-ID: <pan$3a4cb$17befb1d$ee15c4f$e51e7cc1@invalid.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="29796"; posting-host="Pd8hlWS7AmxgyJ3FWHbKsQ.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Pan/0.146 (Hic habitat felicitas; d7a48b4
 gitlab.gnome.org/GNOME/pan.git)
X-Notice: Filtered by postfilter v. 0.9.2
Bytes: 1106
Lines: 4

Bonjour,
J'ai ouie dire qu'à présent il existait un paramétrage offrant une 
personalisation possible du DNS sur les toutes dernières versions 
d'Android, mais comment peut on faire sur un Android 5.1 qui n'offre pas 
ce paramétrage ?