• Paul Eggert's avatar
    Fix botched merge of FQDNs in PROBLEMS · d2140350
    Paul Eggert authored
    This text was originally removed in
    2014-12-30T04:42:26Z!eggert@cs.ucla.edu but then was
    mistakenly re-added in the merge in
    2015-03-23T17:30:30Z!eggert@cs.ucla.edu.
    * etc/PROBLEMS: Omit obsolete mention of FQDNs.
    d2140350
PROBLEMS 133 KB