<div dir="ltr">Hey everyone,<div><br></div><div>Just a quick update: the manual repository is finally solved by updating server-side software.<div><br></div><div>You should be able to keep working on the documentation as usual now.</div><div><br></div><div>I&#39;ve also added Yevgeny Makarov (jenkm) back to the committers, because now it should be all safe to commit for all the contributors.<br clear="all"><div><br></div>-- <br><div class="gmail_signature"><div><span style="color:rgb(102,102,102)">With best regards, Sergey Sharybin</span></div></div>
</div></div></div>