Merge branch 'master' of git+ssh://git.freedesktop.org/git/at-spi2/at-spi2-core