On 10/09/12 15:38, Gilles Chehade wrote:
ok, discussed with eric, not critical but still very annoying so we'll commit the feature tonight.
Ah, so something good came out of my diff anyway! :-)I was actually unsure whether this would get an OK or be postponed, so that could indeed have hinted me to ask you first...
