On Tuesday 12 June 2007 23:14:32 Dov Feldstern wrote: > Need another OK for commit. I won't be able to commit before tomorrow > night, so as soon as there's another OK, anyone who wants to should > commit this. Here's a message for the commit log:
OK. -- José Abílio