On 09/07/2014 10:10, Bataev, Alexey wrote: > Tobias, > fixed in revision 212592 Thanks a lot. (Also: Even though it is nice to be mentioned prominently in the commit message, for other readers it would be better to have in the commit message a technical description of the change and the problem it fixed) Cheers, Tobias