tags 39312 moreinfo
thanks

Hi there,

what is the status of this patch? Could you fix the issues mentioned in
[0] and send an updated patch, or is that something you don't feel like
pursuing?

[0]: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=39312#17