Hello, I was surprised to learn that Dave Malcolm doesn't have commit privileges yet. He has worked on the gdb integration and other issues. I think it would be time to give him the right to commit to the repository, what do you think? Regards Antoine.