Le 05/06/2013 15:22, Benedikt Ritter a écrit : > Sorry, for the late follow up... > What we are talking about is probably something like r1399051 [1] but with > a public ctor. > > WDYT?
+1 ! Emmanuel Bourg --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
