Hi, It seems svn is available at savannah: https://savannah.gnu.org/forum/forum.php?forum_id=5340 any plan to switch ? -- Bean