Sure, it is a minimal example that demonstrates the error.
-- -- tup-users mailing list email: [email protected] unsubscribe: [email protected] options: http://groups.google.com/group/tup-users?hl=en --- You received this message because you are subscribed to the Google Groups "tup-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/tup-users/1327c7b9-d0d5-4abe-bf0b-5a87f987b09fo%40googlegroups.com.
