Comment Comment by pengaru Considering gnome.org's IP is owned by RedHat, I find that quite unlikely to be accurate. parent pengaru 3 years ago
