On Thu, Jan 16, 2020 at 10:51 PM L. E. Segovia <amy@amyspark.me> wrote:

Hello again everyone,

What is the state of this patch?

Best regards,
Leonardo

It should be fixed in the next release for texlive.

luigi