On Wed, 13 Nov 2019 12:27:35 +0000 Vincent Donnefort <vincent.donnefort@xxxxxxx> wrote: > Hi Steve, > > I then pushed an updated version covering your previous comments, small issues > and introducing the --cmdlines-size option without any default value. I actually had applied both your patches and pushed them up. I reverted the second one to apply this updated version. > > Aside, apology for the disclaimer notice into the previous emails. This should > hopefully be gone by now. No problem. Thanks! -- Steve