On Mon, Mar 27, 2017 at 11:12:34AM -0400, Leo Famulari wrote:
> On Mon, Mar 27, 2017 at 11:11:00AM -0400, Leo Famulari wrote:
> > On Sun, Mar 26, 2017 at 06:32:49PM +0300, Frederick Muriithi wrote:
> > > On Sun, Mar 26, 2017 at 6:10 PM, Pjotr Prins <pjotr.public12@thebird.nl> wrote:
> > > > Hi Fred,
> > > >
> > > > Why do we need both versions?
> > > >
> > > 
> > > We don't. I noticed there was a newer version (1.5.3) while working on
> > > version 1.5.2, and thought to just add it, since it wasn't much
> > > effort.
> > > 
> > > If it's ever explicitly needed, it'll be defined already. Is that
> > > okay, or should I refrain from that in the future?
> > 
> > Thanks! If mando works with 1.5.3, we should just use that. Otherwise,
> > let's leave 1.5.3 out for now, to avoid needless building on Hydra.
> 
> Or leave out 1.5.2, since your mando package is using 1.5.3 :)

Pushed without 1.5.2, thanks!