Hi Andi,

thanks, pulled!

> at this stage, four fixes make up a fat pull request, but there
> has been some turmoil in the last week. The rush to get things
> sent by the merge window might have generated the need for some
> fixes.

Don't worry, it is a bit more than usual but not really "fat" in my
book. One wish, though: If your fixes branches are upstream, could you
rebase the fixes branch to the latest rc? So, that only the unapplied
patches are in there?

Thanks,

   Wolfram