On Mon, Mar 25, 2024 at 1:54 PM jkn <jkn...@nicorp.f9.co.uk> wrote:
> Hi Edward > as it happens I have made a couple of local changes recently to > improve headline decluttering. After I am happy with them shall I submit a > pull request? > Please do! Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS3w_Oo4YEakxD%3D%2BTGTSEoGyMDGr33Wx8jWxG3RosqEDDA%40mail.gmail.com.