Hi Stefano, On Mon, Feb 3, 2020 at 8:34 AM Stefano Babic <[email protected]> wrote:
> But are they not already defined at the beginning of the file ? They > were duplicated later, and you let them duplicated. Good catch. I have just sent a v2 series fixing this. Thanks

