[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#29785: [PATCH] Implement separate eww history
|
From: |
Eli Zaretskii |
|
Subject: |
bug#29785: [PATCH] Implement separate eww history |
|
Date: |
Wed, 20 Dec 2017 18:02:53 +0200 |
> From: Robert Pluim <rpluim@gmail.com>
> Date: Wed, 20 Dec 2017 13:23:02 +0100
> Cc: 29785@debbugs.gnu.org
>
> > I don't think this needs to be configurable -- the history should just
> > be a separate one.
>
> So do I, but I don't want to elicit any 'how dare you change
> behaviour' comments a year from now.
The behavior doesn't change, though.
- bug#29785: [PATCH] Implement separate eww history, Robert Pluim, 2017/12/20
- bug#29785: [PATCH] Implement separate eww history, Lars Ingebrigtsen, 2017/12/20
- bug#29785: [PATCH] Implement separate eww history, Robert Pluim, 2017/12/20
- bug#29785: [PATCH] Implement separate eww history,
Eli Zaretskii <=
- bug#29785: [PATCH] Implement separate eww history, Robert Pluim, 2017/12/20
- bug#29785: [PATCH] Implement separate eww history, Eli Zaretskii, 2017/12/20
- bug#29785: [PATCH] Implement separate eww history, Robert Pluim, 2017/12/20
- bug#29785: [PATCH] Implement separate eww history, Eli Zaretskii, 2017/12/20
- bug#29785: [PATCH] Implement separate eww history, Robert Pluim, 2017/12/21
bug#29785: [PATCH] Implement separate eww history, Eli Zaretskii, 2017/12/20