<div dir="auto"><div><br><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Le mer. 29 déc. 2021 à 18:17, Yadd <<a href="mailto:yadd@debian.org">yadd@debian.org</a>> a écrit :</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
I propose to remove them. If someone later wants to package the new <br>
packages with their new names, feel free of course.<br>
<br>
OK for you ?<br></blockquote></div></div><div dir="auto"><br></div><div dir="auto">Yes</div><div dir="auto"><br></div><div dir="auto">J. Puydt</div><div dir="auto"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
</blockquote></div></div></div>