Re: [PATCH] Upgrade bedtools to 0.25.0.

[Ben Woodcroft]

On 10/01/16 06:32, Leo Famulari wrote:
> On Sat, Jan 09, 2016 at 07:07:42PM +0100, Ricardo Wurmus wrote:
> > Ben Woodcroft <address@hidden> writes:
> >
> > > A reasonably straightforward update.
> > I think you forgot to also remove the “bedtools-32bit-compilation.patch”
> > file from “gnu/packages/patches”.
> In that case, the patch can also be "de-listed" from gnu-system.am,
> unless it is being used by another package.
Oh yes, those.
> > Otherwise I agree with Andreas about separating the stylistic from the
> > functional changes by doing two commits.
Pushed as two commits, thanks.

ben