Merge branch 'master' into 'master'
authorChristoph Reiter <reiter.christoph@gmail.com>
Tue, 13 Mar 2018 20:30:53 +0000 (20:30 +0000)
committerChristoph Reiter <reiter.christoph@gmail.com>
Tue, 13 Mar 2018 20:30:53 +0000 (20:30 +0000)
Add proper annotation for gdk_frame_clock_get_refresh_info

See merge request GNOME/gtk!55


Trivial merge