Gregor Giesen wrote: > could you change my username from "sternenlied" to "grgi"? > I've already opened a ticket (sr #108876) a while ago.
Done. https://savannah.gnu.org/support/?108876 Let me congratulate you on having the very low user id number 364. Lower than mine. :-) Bob
