Merge branch 'menutoolbutton-missing-api-docs' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Mon, 13 Jan 2020 00:50:58 +0000 (00:50 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Mon, 13 Jan 2020 00:50:58 +0000 (00:50 +0000)
menutoolbutton: Add missing public API documentation.

See merge request GNOME/gtk!1303


Trivial merge