[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Grep-devel] [platform-testers] new snapshot available: grep-3.1.51-
From: |
Jim Meyering |
Subject: |
Re: [Grep-devel] [platform-testers] new snapshot available: grep-3.1.51-e767 |
Date: |
Tue, 18 Dec 2018 08:58:30 -0800 |
On Mon, Dec 17, 2018 at 11:25 PM Bruno Haible <address@hidden> wrote:
> > Thank you, Bruno. Here's a proposed patch in your name. Let me know if
> > there's anything you'd change:
>
> That's fine, thanks!
Pushed.
- [Grep-devel] new snapshot available: grep-3.1.51-e767, Jim Meyering, 2018/12/16
- Re: [Grep-devel] [platform-testers] new snapshot available: grep-3.1.51-e767, Jose E. Marchesi, 2018/12/18
- Re: [Grep-devel] [platform-testers] new snapshot available: grep-3.1.51-e767, Jose E. Marchesi, 2018/12/18
- Re: [Grep-devel] [platform-testers] new snapshot available: grep-3.1.51-e767, Jim Meyering, 2018/12/19
- Re: [Grep-devel] [platform-testers] new snapshot available: grep-3.1.51-e767, Jose E. Marchesi, 2018/12/19
- Re: [Grep-devel] [platform-testers] new snapshot available: grep-3.1.51-e767, Jim Meyering, 2018/12/19
- Re: [Grep-devel] [platform-testers] new snapshot available: grep-3.1.51-e767, Jose E. Marchesi, 2018/12/19
- Re: [Grep-devel] [platform-testers] new snapshot available: grep-3.1.51-e767, Bruce Dubbs, 2018/12/19