Eric Botcazou Tue, 13 May 2014 10:22:17 -0700
> OK, thanks. Richard also gave an RM's OK on IRC so I've now applied it.
Thanks! -- Eric Botcazou