Hi,

Thank you for the patches.

Pushed as 71e1d0a437..de25a21433 to master with minor adjustments.

--
Oleg