Thierry Vignaud <thierry.vignaud@gmail.com> schrieb am 03.05.2011

> IMHO "make merge" should only be run by developers when actually

> adding/deleting/changing lines which was not the case here.

I was told on IRC I could doit myself and I only did what I was told.

In the future I will just make noise in bugzilla and wait for someone else to do it.

My 2 cents.

Oliver