Follow-up Comment #6, sr #108056 (project administration): I've push a new-master branch. That is the proper master.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/support/?108056>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
