On Sat, Jan 14, 2023 at 10:55:03AM +0100, Patrice Dumas wrote: > On Fri, Jan 13, 2023 at 09:01:41PM +0000, Gavin Smith wrote: > > > > Are there any thoughts on the change at the bottom of this mail? > > Actually, it is not ok, if there is an @-command within the @w, the > spaces used in formatting will be replaced too. Need to add a > state and do the substitution in the processing of 'text' type. I can > do it.
Thanks, I'll leave it to you.
