Mark, Mark Meyer wrote on 15/12/17 at 11:58: > thanks for the patch, this works for me :) Wonderful! Pushed as d65854bdda4ad5464fcd8fe6289eedc13ea82ba1.
(Just FYI: if you post to bug-g...@gnu.org next time, you'll get the visceral satisfaction of closing yet another bug. ;-) Kind regards, T G-R
