On Wed, Oct 30, 2019 at 08:32:45PM +0100, luigi scarso wrote: > Thank you for the patch. > It's a feature request, it has less priority than bugs fixing (and other > emails sent by you).
Right, I already guessed as much but I thought I just send it anyway in case you find it useful :) -- Marcel _______________________________________________ dev-luatex mailing list dev-luatex@ntg.nl https://mailman.ntg.nl/mailman/listinfo/dev-luatex
