I have pushed an alternative patch.  It is more complex but I hope
more efficient.  It's described at
https://savannah.gnu.org/bugs/?37926.

Reply via email to