am 0512ec33: am 08e9b2a4: Merge commit \'f404dc42d6677a1aee88d1ce996a7e8e4afe55bb\' into HEAD

* commit '0512ec33ff825470297f8c633fc6a5ce35fde771':