Nothing on bugtracker still.
Report it, so it is (eventually) re-fixed.