Merge pull request #3487 from taka-no-me:ctrl_s_gtk
authorVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Sat, 6 Dec 2014 10:04:22 +0000 (10:04 +0000)
committerVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Sat, 6 Dec 2014 10:04:22 +0000 (10:04 +0000)

Trivial merge