<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<div class="moz-cite-prefix">ok, done!</div>
<div class="moz-cite-prefix"><br>
</div>
<div class="moz-cite-prefix">On 2/11/22 12:39, Samuel Thibault
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:20220211113938.itftmzp4onucbevc@begin">
<pre class="moz-quote-pre" wrap="">Samuel Thibault, le ven. 11 févr. 2022 12:28:23 +0100, a ecrit:
</pre>
<blockquote type="cite">
<pre class="moz-quote-pre" wrap="">Kees Lemmens (using TUDelft), le ven. 11 févr. 2022 11:01:44 +0100, a ecrit:
</pre>
<blockquote type="cite">
<pre class="moz-quote-pre" wrap="">Just a few minutes ago I created a postume account for Jos on github : his
username is @joslemmens.
It is connected to the email adres [<a class="moz-txt-link-abbreviated" href="mailto:1]acjlemmens@gmail.com">1]acjlemmens@gmail.com</a> to which I still
have access.
</pre>
</blockquote>
<pre class="moz-quote-pre" wrap="">
Yes, that was the idea, it worked fine, Jos' contribution now shows up
</pre>
</blockquote>
<pre class="moz-quote-pre" wrap="">
Ah, could you accept an invitation I made for him, so he shows up as
actual member of the development team?
Thanks,
Samuel
</pre>
</blockquote>
<p><br>
</p>
</body>
</html>