> On 05 Oct 2017, at 05:46, Jeff King wrote:
>
> On Wed, Oct 04, 2017 at 08:30:05PM +0100, Thomas Gummerer wrote:
>
>>> So I dunno. This approach is a _lot_ more convenient than trying to
>>> rebuild all the dependencies from scratch, and it runs way faster than
>>> valgrind.
On Wed, Oct 04, 2017 at 08:30:05PM +0100, Thomas Gummerer wrote:
> > So I dunno. This approach is a _lot_ more convenient than trying to
> > rebuild all the dependencies from scratch, and it runs way faster than
> > valgrind. It did find the cases that led to the patches in this
> > series, and
2 matches
Mail list logo