No 0.94 checkins please

[lars hofhansl]

Rolling 0.94.8RC0 (i.e. need to wait for a successful jenkins build)

-- Lars