Follow-up Comment #6, sr #107682 (project administration): Branch (finston_0) is now manually deleted. You "should" have been able to delete this yourself, via git, but something (git-wise) was buggy.
I apologize for the delay. Let me know if it's OK to close this issue now. _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/support/?107682> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/