Related Vala bug: https://bugzilla.gnome.org/show_bug.cgi?id=642298 This bug was fixed in Vala 0.13.2 (released on August 16, 2011) So if building with --enable-gtk3, you probably should check for Vala >= 0.13.2, or error out of configure.
Related Vala bug: https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 642298
This bug was fixed in Vala 0.13.2 (released on August 16, 2011)
So if building with --enable-gtk3, you probably should check for Vala >= 0.13.2, or error out of configure.