Hi Matthias, thanks, I've pushed all three patches to master, including the test case for the type checker bug.
Regards, Jürg _______________________________________________ vala-devel-list mailing list vala-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/vala-devel-list
