Dear Pull-Requesters, I received the request to not automatically merge pull-requests but first have some discussions on the list on these. From now on I will wait for an explicit go until I merge. Hopefully this will not result in hibernation of proposals ;-) All the best, Stefan.