On 6/23/11 5:12 PM, Olin Shivers wrote: > Aigh. Something's wrong w/my mailer - I was most careful to reply narrow to Olivier. I've changed the reply-to address to be the poster rather than the mailing list. It should avoid these kinds of problems in the future. My apologies to the list for the noise and inside jokes. David