<div dir="ltr">Thanks Jacek for your continued contributions on this. I have now added you as a developer, which means you have write access to the repository and from now on you can push directly. This comes with a few responsibilities:<div><br></div><div>- Please respect the code of others.</div><div><br></div><div>- Please discuss before you do major commits that break the API or change things fundamentally otherwise.</div><div><br></div><div>Thanks again,<br><br></div><div>Andreas</div><div> <br><div><br></div><div><br></div></div><div class="gmail_extra"><br clear="all"><div><br></div><div class="gmail_signature"><div dir="ltr"><div><div><div><div><div><br></div></div></div></div></div></div></div>
</div></div>