>>>>> "Andreas" == Andreas Tobler <toa@pop.agri.ch> writes: Andreas> this patch reverts a checkin which has gone in by accident. Andreas> I hope it is ok to commit? Yes, it is always ok to do that. Tom