Hi Carsten On Thu, Oct 24, 2013 at 8:18 AM, Carsten Dominik <carsten.domi...@gmail.com> wrote: > Applied, thanks.
I can not see the commit, is it pushed? > Michael, would you like to have write access to the git repo? Thank you for the trust. As I would like anyway to have a review of my patches before commit, I think it would not help when I would do the commit myself. I hope that it is still ok when I prefer a review, independent of the simplicity of the patch. Michael
