How does one request a username change for quarry?
Topic on Talk:Quarry
@Framawiki: Can I merge gerrit:398711 ?
@Vexations: You should get renamed after your next login to Quarry after your SUL rename.
@Vexations: can you confirm that the problem is solved ?
Yes, it has been solved, thanks,