On 08/04/11 13:16, Richard Sandiford wrote: > Tested in the same way as the previous patch. OK to install? You don't actually need to ask, and based on Revital's reaction, yes. Bernd