[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Man-db-devel] Duplicate
|
From: |
Mihail Konev |
|
Subject: |
Re: [Man-db-devel] Duplicate |
|
Date: |
Sun, 30 Oct 2016 18:22:33 +0500 |
On Sun, Oct 30, 2016 at 04:58:52PM +0500, Mihail Konev wrote:
> Maybe server http responses lack the header responsible for cached page
> identification? (Or have them not up-to-date).
This shouldn't be taken too seriously, through.
Might as well be a user/browser bug.
Re: [Man-db-devel] [PATCH v3] man(1): Do not roff non-mandoc pages, Mihail Konev, 2016/10/28