Merge branch 'v4.6.x' of git.sv.gnu.org:/srv/git/xboard