Fix botched merge of FQDNs in PROBLEMS
commitd21403505994ef098e6f1f93b8809c1c29beab2a
authorPaul Eggert <eggert@cs.ucla.edu>
Thu, 19 Apr 2018 00:12:56 +0000 (18 17:12 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Thu, 19 Apr 2018 00:13:21 +0000 (18 17:13 -0700)
treed9f845a7d22d3ce80a987de3a7e6d173fbdf651a
parent3d3923b79fe103ba66838db04aa9460cf990e565
Fix botched merge of FQDNs in PROBLEMS

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.
etc/PROBLEMS