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/