On 06/21/2013 10:28 AM, Manuel Klimek wrote: > Submitted fix as r184563. > > Note that I'll be out the next 2 weeks, and Daniel's still out next week, > so make sure to ping Alex if anything is high prio. Thanks Manuel, it works! This was fast. Have nice vacations! Tobias