<p dir="ltr">Hello Tobias,</p>
<p dir="ltr">If you upload, please use the latest version in git and tag it after upload. I will withdraw the old version from mentors.d.n</p>
<p dir="ltr">I think Arnaud Fontaine was also planning to do the upload. Great, I have two sponsors :) But we should agree on who does what.</p>
<p dir="ltr">Also, after the changes this week I've stumbled across a few test suite errors I haven't debugged yet. Also 10.0.14 just came out, I could import the new upstream version today/tomorrow.</p>
<p dir="ltr">You both are in the team and have git push permissions (I believe, please test).</p>
<p dir="ltr">I suggest we do these improvements this weekend, re-run all builds and tests and either of you upload it on Monday.</p>