<div dir="ltr"><div class="gmail_default" style="font-size:small"><br></div><div class="gmail_extra"><br><div class="gmail_quote">2017-12-17 22:13 GMT+01:00 Mattia Rizzolo <span dir="ltr"><<a href="mailto:mattia@debian.org" target="_blank">mattia@debian.org</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On Sun, Dec 17, 2017 at 04:37:43PM +0100, Jaromír Mikeš wrote:<br>
> ​Hmmm ... ouh ... well ... can some DD upload this for me please?<br>
<br>
</span>Uploaded :)<br>
(also, I pushed a commit to the repo)<br></blockquote><div><br></div><div class="gmail_default" style="font-size:small">​Thank you Mattia a lot!</div><div class="gmail_default" style="font-size:small"><br></div><div class="gmail_default" style="font-size:small">mira​</div></div><br></div></div>