
<html><head></head><body><div style="font-family: Verdana;font-size: 12.0px;"><div>Das neue git-Repository macht Schwierigkeiten. Kollege Berger bemüht sich</div>


<div>dankenswerterweise um Klärungen. Einstweilen ist es ja nicht vordringlich.</div>


<div>Wir kommen dann drauf zurück.</div>


<div> </div>


<div>B.E.</div></div></body></html>