On Thu, Jul 31, 2008 at 03:10:46PM +0200, Paolo Bonzini wrote: > Ralf Wildenhues wrote: > Tomorrow it's a public holiday here, so I wouldn't apply the patch > before monday anyway. If the patch is checked in on Monday or Tuesday, that's still fine, no need to use exceptions. Jakub