> On Dec 24, 2017, at 3:16 PM, Nicolas Goaziou <[email protected]> wrote:
> 
> I fixed it in maint.
> 

Yes, indeed. Thank you!

Chuck

Reply via email to