[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Help-bash] Bash sources fine-grained history
|
From: |
Michal Koutný |
|
Subject: |
Re: [Help-bash] Bash sources fine-grained history |
|
Date: |
Tue, 20 Jun 2017 10:54:24 +0200 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.7.0 |
Hi.
On 05/25/2017 04:11 PM, Eduardo Bustamante wrote:
> No. This repository is all there is. Please see:
> https://lists.gnu.org/archive/html/bug-bash/2015-02/msg00017.html
Thanks for the context.
Some time has already passed since that thread. What are current
obstacles in implementing the approach suggested there? (I.e. keeping
the old history as is and stacking new patches in more readable form.)
Thanks,
Michal
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- Re: [Help-bash] Bash sources fine-grained history,
Michal Koutný <=