Update of task #15922 (project administration): Status: None => Done Open/Closed: Open => Closed
_______________________________________________________ Follow-up Comment #2: Thank you, pushed to git master. _______________________________________________________ Reply to this item at: <https://savannah.nongnu.org/task/?15922> _______________________________________________ Message sent via Savannah https://savannah.nongnu.org/