On 24.10.2013, at 22:47, Michael Brand <michael.ch.br...@gmail.com> wrote:
> 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. Yes, reviews are always good! But with write access you can still install a patch yourself after a review, or make small doc fixes without review etc. - Carsten > > Michael