[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 4/4] useless-if-before-free: skip non-matching lines early
|
From: |
Jim Meyering |
|
Subject: |
Re: [PATCH 4/4] useless-if-before-free: skip non-matching lines early |
|
Date: |
Mon, 1 Aug 2016 10:56:15 -0700 |
On Mon, Aug 1, 2016 at 5:11 AM, Ján Tomko <address@hidden> wrote:
> 1.44s to 1.02s
Thanks. Mentioned that in the commit log.
Here is the proposed patch:
0001-useless-if-before-free-skip-non-matching-lines-early.diff
Description: Text document