Re: [Dev-luatex] node.get_properties_table is broken

On Tue, Mar 31, 2020 at 12:38 PM Marcel Fabian Krüger wrote:

Thank you. I am looking forward to see the new code :)

It should be already in the repo . -- luigi