[Vala] Bug 737913 patch implemented

Hi all, I have attach a patch for bug Bug 737913 that it seams working. If someone want to make a review or test it I think that it is convinient to merge it to the master Regards Michele ___ vala-list mailing list vala-list@gnome.org https://mail.gnom

[Vala] Bug 737913 patch implemented

Hi all, I have attach a patch for bug Bug 737913 that it seams working. If someone want to make a review or test it I think that it is convinient to merge it to the master Regards Michele ___ vala-list mailing list vala-list@gnome.org https://mail.gnom