After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 794407 - update flatpak.org DNS
update flatpak.org DNS
Status: RESOLVED FIXED
Product: sysadmin
Classification: Infrastructure
Component: DNS
unspecified
Other Linux
: Normal normal
: ---
Assigned To: GNOME Sysadmins
GNOME Sysadmins
Depends on:
Blocks:
 
 
Reported: 2018-03-16 17:52 UTC by robert
Modified: 2018-03-16 18:09 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
puppet patch (1.23 KB, patch)
2018-03-16 17:52 UTC, robert 		none Details | Review

Description robert 2018-03-16 17:52:58 UTC 
Created attachment 369798 [details] [review]
puppet patch

front.flathub.org has a real IPv4 address now, so we don't need the 6-to-4 proxy from the ISP
Comment 1 Andrea Veri 2018-03-16 18:09:36 UTC 
Merged [1]. Next Puppet run will bring the change in.

[1] https://infrastructure.gnome.org/browse/puppet/commit/?id=1be5525c5391635f823b08ee0914c528032861b7