Lol, so we already had rules in place. funny that I did not remember :).
I do not care about the undo thingy - so what. The rest of the change lgtm some nits not withstanding. Once you are happy feel free to merge yourself Janosch.
Thanks for your contribution. Sorry for taking so long with this but as you noticed but there was quite a bit of need for discussion and bunnybot being created let to some uncertainty about the proper merge etiquette.
Lol, so we already had rules in place. funny that I did not remember :).
I do not care about the undo thingy - so what. The rest of the change lgtm some nits not withstanding. Once you are happy feel free to merge yourself Janosch.
Thanks for your contribution. Sorry for taking so long with this but as you noticed but there was quite a bit of need for discussion and bunnybot being created let to some uncertainty about the proper merge etiquette.