From: Philippe Blain Date: Mon, 12 Jun 2023 12:49:21 GMT Subject: Re: [PATCH 21/25] completion: complete --ws-error-highlight Message-ID: <1a290787-9756-3d07-f95f-3915299cdb8b@gmail.com> In-Reply-To: Le 2023-06-10 à 16:21, Philippe Blain via GitGitGadget a écrit : > From: Philippe Blain This is a operator mistake that has slipped in. I'll resend with correct author information. Please wait before merging this to seen. Thanks, Philippe.