On Apr 2, 2009, at 00:39, Bryan Blackburn wrote: > On Thu, Apr 02, 2009 at 01:43:45AM +0200, Rainer Müller said: > >> Fixed in r49013 [1] and merged back to release_1_7 in r49014 [2]. > > Does that mean we'll be having a 1.7.2 at some point? By all means! :) Maybe not just yet, since we just had 1.7.1.