[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] Fix num_processors_ignoring_omp.

From: Bruno Haible
Subject: Re: [PATCH] Fix num_processors_ignoring_omp.
Date: Tue, 18 Jun 2019 10:58:45 +0200
User-agent: KMail/5.1.3 (Linux/4.4.0-145-generic; KDE/5.18.0; x86_64; ; )

Bernhard Voelker wrote:
> Just a tiny reminder:
> the server on 'lists.gnu.org' has a redirection to get shorter URLs.

I prefer canonical URLs to short URLs.

By "canonical" I mean:

  - When you are on a monthly overview of the /r/ domain and follow
    a "Prev Period" or "Next Period" link, you get into the /archive/html/
    Similarly, when you follow the "All Lists" -> "bug-gnulib" links.
    So, the /r/ domain is not closed under hyperlinks.
    Whereas the /archive/html/ domain is closed under hyperlinks.

  - Web search engines always return the links in the /archive/html/
    domain, not the /r/ domain.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]