Thanks you all! On Aug 17, 2017 07:18, "Stefan Sperling" <[email protected]> wrote:
> On Wed, Aug 16, 2017 at 06:56:07PM +0200, Cesare Gargano wrote: > > Ping > > Hmm, I was sure I had already committed the diff, but evidently had not. > I've committed it now. Thanks for your work! >
