Time to wrap up 0.94.7

[lars hofhansl]

If you have any pressing issues against 0.94.7 please let me know (or just 
commit them today or tomorrow).
(as usually, 0.94.8 will be in 4-6 weeks, so anything that does not make it now 
will get in then).

Thanks.

-- Lars