On Mon, Nov 17, 2014 at 11:42:43PM +0300, Evgeny Grin wrote: > Here are the patches (made for 1.2.13, but applicable for latest git master): Please use Git to create patches, thank you. Diego