Thanks Artur, Antonio Trande has also made some suggestions in the review, I will try them and if nothing changes, I will report the issue upstream. _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx
