Hi there, just for the record: I do not know how and why, and why id did not happen before, but now my /etc/resolv.conf contains
# Generated by NetworkManager search hu nameserver 212.xx.yy.zz nameserver 212.xx.yy.tt as expected. Sorry for the nuisance. - Gergely -- users mailing list users@lists.fedoraproject.org To unsubscribe or change subscription options: https://admin.fedoraproject.org/mailman/listinfo/users Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines
