Hi,<br><br>Nothing to say for or against this patch but...<br>Shouldn't CI be a separate git tree?<br>-- <br>Envoyé de mon appareil Android avec Courriel K-9 Mail. Veuillez excuser ma brièveté.