Ticket #26861 (closed: fixed)
renaming xmlgawk to gawkextlib
|Reported by:||ajschorr||Owned by:||bprew|
We would like to rename the xmlgawk project to gawkextlib. How can we best accomplish that? I could start a new project, but it would be nice to carry over the members, mailing lists, source code repositories, etc. Would all of those things be automatically moved to the new name?