<html><head></head><body><div style="font-family: Verdana;font-size: 12.0px;"><div>Hi,</div>
<div> </div>
<div>git seems to be blocked here at school. Is it possible to check out the sources via http?</div>
<div> </div>
<div>github only "offers" master branch. I would like to checkout release 5.0</div>
<div> </div>
<div>Paolo</div></div></body></html>