On Mon, Feb 12, 2018 at 02:14:57PM +0000, Thomas Adam wrote: > Well, this is good news! Apologies for bouncing this between fvwm@ and > fvwm-workers@. > > If no one objects, I'll go ahead an start making the relevant changes?
Good. With the extra clauses gone, things get easier - go ahead. Ciao Dominik ^_^ ^_^ -- Dominik Vogt