On 2011-12-23 18:15 , Rainer Müller wrote: > No, this is not a good idea as it breaks existing dependents! Finally got back to it and reverted the update in r88371. I did not hear any comment from Philipp about this... Rainer