PS. To reply these messages, is it better for me to reply to some specific person + [email protected] ?
I think replying on-list is appropriate given that the conversation started here, but this is also why I was suggesting making a GitHub issue about this and moving the conversation there -- so that those who were interested could opt in and those who were not could opt out. (and because I think GitHub issues are somewhat easier to read in archived form than the mailing lists).
-Brad ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ Chapel-users mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/chapel-users
