am ab8253a5: Merge commit \'d542f1ebdf6917c4e4bbdf6cb657583a8fe4bd01\' into HEAD

* commit 'ab8253a56d114152b04fe5f62bc340b28eaa915b':