Re: [Dev-luatex] Duplicate line in luafflib.c