On Wed Jun 24 19:29:20 +0200 2009, Dan Gohman wrote: > This patch looks fine. If you have commit access, feel free to commit > it. Otherwise I or someone else can commit it for you. Thanks Dan! I'll commit it myself. -- Andreas