On 01/23/2017 01:05 AM, Jakub Jelinek wrote:
On Mon, Jan 23, 2017 at 09:01:24AM +0000, Andrew Haley wrote:
On 22/01/17 18:41, Per Bothner wrote:
In my opinion, all/most of these should be restored.
Because of the historical interest? That's a good point, and perhaps
I was too hasty. Sorry.
But then it should be probably moved somewhere where Gerald won't have to
spent time maintaining those pages (verification of URLs in there, updating
them when they are moved etc.).
The last part is moot, as we should strive to not move pages and thus break
links.
--
--Per Bothner
p...@bothner.com http://per.bothner.com/
