-
Olivier Fourdan authored
There is no need to make it a public API, move it to the private header instead. https://bugzilla.gnome.org/show_bug.cgi?id=766566
0b58c96f
There is no need to make it a public API, move it to the private header instead. https://bugzilla.gnome.org/show_bug.cgi?id=766566