On 11 June 2012 09:36, Fernando Perez <fperez.net at gmail.com> wrote: > Just so Thomas doesn't have to worry, fixed and merged in #1907. I love it when time zones mean my work is done before I even see it ;-) Thanks, Thomas