Sorry if you got an unwanted reminder about being subscribed to this list. Because this list was made new last month, it still had reminders on. I've just turned them off. -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://lists.cakeml.org/pipermail/developers/attachments/20161101/9305b2de/attachment.html>